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
editgenerateConfigDefaultSettings.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
edit| Option | Description | Default | Required? |
|---|---|---|---|
| --output | Path to output. | $IP/includes/DefaultSettings.php |
Optional |
Usage
editphp maintenance/generateConfigDefaultSettings.php [ --output ]
Terminal
$ php maintenance/generateConfigDefaultSettings.php --output Sample-DefaultSettings.php