Manual:generateConfigDefaultSettings.php
| MediaWiki バージョン: | ≧ 1.39 |
| MediaWiki ファイル: generateConfigDefaultSettings.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.38.2 • 1.37.3 • 1.35.7 |
| クラス: | GenerateConfigDefaultSettings |
詳細
generateConfigDefaultSettings.php is a maintenance script to generates a DefaultSettings.php file.
DefaultSettings.php contains default configuration settings for the MediaWiki site.
オプション/引数
| オプション | 説明 | 既定 | 必須かどうか |
|---|---|---|---|
| --output | Path to output. | $IP/includes/DefaultSettings.php |
省略可能 |
使用法
php maintenance/generateConfigDefaultSettings.php [ --output ]
Terminal
$ php maintenance/generateConfigDefaultSettings.php --output Sample-DefaultSettings.php