Manual:GenerateConfigNames.php/ja
| MediaWiki バージョン: | ≧ 1.39 |
| MediaWiki ファイル: generateConfigNames.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.43.1 • 1.42.6 • 1.39.12 |
| クラス: | GenerateConfigNames |
詳細
generateConfigNames.php is a maintenance script to generates a PHP MainConfigNames class containing constants for all variables defined in the config-schema.yaml file.
オプション/引数
| オプション | 説明 | 既定 | 必須かどうか |
|---|---|---|---|
| --output | Path to output. | $IP/includes/MainConfigNames.php | 省略可能 |
使用法
php maintenance/run.php generateConfigNames [ --output ]
Terminal
$ php maintenance/run.php generateConfigNames --output Sample-Config.php
MediaWiki バージョン 1.39.12 以前では、メンテナンス スクリプトを
php maintenance/run.php scriptName ではなく php maintenance/scriptName.php を使用して実行する必要があります。
関連項目
- Configuration settings
- GenerateConfigDefaultSettings.php
- GenerateConfigSchemaArray.php
- GenerateConfigSchemaYaml.php