Manual:LocalSettingsGenerator.php/es

Detalles
LocalSettingsGenerator.php is the generator for the file.