Jump to content

Manual:GenerateConfigNames.php

From mediawiki.org
MediaWiki version:
1.39

Details

generateConfigNames.php is a maintenance script to generates a PHP MainConfigNames class containing constants for all variables defined in the config-schema.yaml file.

Options/Arguments

Option Description Default Required?
--output Path to output. $IP/includes/MainConfigNames.php Optional

Usage

php maintenance/generateConfigNames.php [ --output ]
Terminal

See also