Manual:GenerateConfigDefaultSettings.php/de-formal
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. Verlassen Sie sich nicht auf die Informationen auf dieser Seite. |
MediaWiki file: generateConfigDefaultSettings.php | |
---|---|
Location: | maintenance/ |
Source code: | master • 1.41.1 • 1.40.3 • 1.39.7 |
Classes: | 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.
Options/Arguments
Option | Description | Default | Required? |
---|---|---|---|
--output | Path to output. | $IP/includes/DefaultSettings.php |
Optional |
Usage
php maintenance/generateConfigDefaultSettings.php [ --output ]
Terminal
$ php maintenance/generateConfigDefaultSettings.php --output Sample-DefaultSettings.php