Translations:Manual:AdminSettings.php/7/en

$AdminSettings is no longer needed.