Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTags  57d35d7950f99860292fbc1a27e399678c026f36

define float type for Hooks

Change-Id: Ic7f577135edc6aa6039e8dd620a7fddff3ee61da