Category:MediaWiki hooks included in PermissionManager.php