Manual:GenerateConfigNames.php/de
MediaWiki Version: | ≥ 1.39 |
MediaWiki-Datei: generateConfigNames.php | |
---|---|
Speicherort: | maintenance/ |
Quellcode: | master • 1.43.0 • 1.42.5 • 1.39.11 |
Klassen: | GenerateConfigNames |
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/run.php generateConfigNames [ --output ]
Terminal
$ php maintenance/run.php generateConfigNames --output Sample-Config.php
In MediaWiki version 1.39.10 and earlier, you must invoke maintenance scripts using
php maintenance/scriptName.php
instead of php maintenance/run.php scriptName
.