Translations:Manual:LocalSettings.php/134/de

Wenn du nicht weißt, wo sie sich befindet, kannst du einen Befehl wie etwa find / -iname LocalSettings.php -print in ein Terminal-Fenster eingeben, um sie zu orten.