Category:MediaWiki hooks included in SessionManager.php