Translations:Manual:DefaultSettings.php/4/fr

DefaultSettings.php ne doit pas être modifié car les modifications apportées à ce dernier seront perdues si MediaWiki est mis à jour. Les modifications devraient, plutôt, être apportées à LocalSettings.php.