Manual:GenerateConfigDefaultSettings.php/de
MediaWiki Version: | ≥ 1.39 |
MediaWiki-Datei: generateConfigDefaultSettings.php | |
---|---|
Speicherort: | maintenance/ |
Quellcode: | master • 1.41.0 • 1.40.2 • 1.39.6 |
Klassen: | GenerateConfigDefaultSettings |
Details
generateConfigDefaultSettings.php is a maintenance script to generates a DefaultSettings.php file.
DefaultSettings.php
contains default configuration settings for the MediaWiki site.
Optionen/Argumente
Option | Beschreibung | Default | Notwendig? |
---|---|---|---|
--output | Path to output. | $IP/includes/DefaultSettings.php |
Optional |
Verwendung
php maintenance/generateConfigDefaultSettings.php [ --output ]
Terminal
$ php maintenance/generateConfigDefaultSettings.php --output Sample-DefaultSettings.php