Translations:Manual:DefaultSettings.php/5/en

Rather, changes should be made to $1.