Manual:GenerateConfigNames.php/de
| MediaWiki Version: | ≥ 1.39 |
| MediaWiki-Datei: generateConfigNames.php | |
|---|---|
| Speicherort: | maintenance/ |
| Quellcode: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| 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/generateConfigNames.php [ --output ]
Terminal
$ php maintenance/generateConfigNames.php --output Sample-Config.php