Manual:LocalSettingsGenerator.php/de-formal

Details
LocalSettingsGenerator.php is the generator for the file.