Manual:GenerateConfigDefaultSettings.php/de-formal

Details
generateConfigDefaultSettings.php is a maintenance script to generates a file. contains default configuration settings for the MediaWiki site.