Translations:Manual:LocalSettings.php/112/fr

Avant cela, MediaWiki essayait d'obtenir automatiquement le nom du serveur et $1 était optionnel, pour réécraser l'autodetection.