Translations:Manual:LocalSettings.php/134/pt

Se não o consegue encontrar, pode executar este comando find / -iname 'LocalSettings.php' -print na kanela do terminal para o localizar.