Manual:LocalSettingsGenerator.php/fr

Détails
LocalSettingsGenerator.php is the generator for the file.