Translations:Manual:FAQ/145/pt-br

Não edite aquele arquivo, apenas o utilize como referência, como você faz com o arquivo DefaultSettings.php.