Manual:GenerateConfigNames.php/de

From mediawiki.org
This page is a translated version of the page Manual:GenerateConfigNames.php and the translation is 64% complete.
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.

Optionen/Argumente

Option Beschreibung Default Notwendig?
--output Path to output. $IP/includes/MainConfigNames.php Optional

Verwendung

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

Siehe auch