Manual:GenerateConfigDefaultSettings.php/de
 | Diese Seite ist Veraltet. Es wird für Archivzwecke beibehalten. Es kann Erweiterungen oder Funktionen dokumentieren, die veraltet und/oder nicht mehr unterstützt sind. Verlass dich nicht auf die Informationen dieser Seite. |
| MediaWiki-Datei: generateConfigDefaultSettings.php | |
|---|---|
| Speicherort: | maintenance/ |
| Quellcode: | master • 1.41.1 • 1.40.3 • 1.39.7 |
| Klassen: | GenerateConfigDefaultSettings |
Details
generateConfigDefaultSettings.php was a maintenance script to generates a DefaultSettings.php file.
DefaultSettings.php contains default configuration settings for the MediaWiki site.
This maintenance script only existed during the development of MediaWiki 1.39 and was never present in any released version.
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