Manual:GenerateConfigDefaultSettings.php
 | This page is obsolete. It is being retained for archival purposes. It may document extensions or features that are obsolete and/or no longer supported. Do not rely on the information here being up-to-date. |
| MediaWiki file: generateConfigDefaultSettings.php | |
|---|---|
| Location: | maintenance/ |
| Source code: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| 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