Manual:GenerateConfigNames.php/ja

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