Translations:Manual:AdminSettings.php/12/en

$AdminSettings should set three variables: