Translations:Manual:AdminSettings.php/4/en

It has finally been removed completely in MediaWiki 1.23.