Manual:GenerateConfigNames.php

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