Translations:Manual:$wgDBservers/20/fr

ignore les erreurs (inutile dans LocalSettings.php)