Manual:GenerateConfigDefaultSettings.php/de
Appearance
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 darauf, dass die Informationen hier aktuell sind. |
MediaWiki-Datei: generateConfigDefaultSettings.php | |
---|---|
Speicherort: | maintenance/ |
Quellcode: | master • 1.42.3 • 1.41.4 • 1.39.10 |
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