Manual:GenerateConfigDefaultSettings.php/de-formal
MediaWiki Version: | ≥ 1.39 |
MediaWiki file: generateConfigDefaultSettings.php | |
---|---|
Location: | maintenance/ |
Source code: | master • 1.41.1 • 1.40.3 • 1.39.7 |
Classes: | GenerateConfigDefaultSettings |
Details
generateConfigDefaultSettings.php is a maintenance script to generates a DefaultSettings.php file.
DefaultSettings.php
contains default configuration settings for the MediaWiki site.
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