Manual:GetConfiguration.php/de-formal

Details
getConfiguration.php file is a maintenance script to print serialized output of MediaWiki config variables.