Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTags  00aea4e14d0380d7c53cbfc3d303589cbb35c1fd

add Hooks::TYPE_BOOL (v 3.5.2)

Change-Id: Ic077b19a600298d824b69db2ff6a4d2fe6d4ad83