Manual:generateConfigDefaultSettings.php
このページは廃止されました。アーカイブ (過去ログ) 目的で保持されています。 廃止された/サポート対象外となった機能について説明している場合があります。 このページの情報には依存しないでください。 |
| MediaWiki ファイル: generateConfigDefaultSettings.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.41.1 • 1.40.3 • 1.39.7 |
| クラス: | GenerateConfigDefaultSettings |
詳細
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.
オプション/引数
| オプション | 説明 | 既定 | 必須かどうか |
|---|---|---|---|
| --output | Path to output. | $IP/includes/DefaultSettings.php |
省略可能 |
使用法
php maintenance/generateConfigDefaultSettings.php [ --output ]
Terminal
$ php maintenance/generateConfigDefaultSettings.php --output Sample-DefaultSettings.php