Manual:LocalSettingsGenerator.php/pt-br

Detalhes
LocalSettingsGenerator.php é o gerador do arquivo.