Category:MediaWiki hooks included in HistoryPager.php