Category:MediaWiki hooks included in DeletePage.php