Manual:GenerateConfigNames.php/de-formal

Details
generateConfigNames.php is a maintenance script to generates a PHP  class containing constants for all variables defined in the   file.