Manual:generateConfigNames.php
Appearance
MediaWiki バージョン: | ≧ 1.39 |
MediaWiki ファイル: generateConfigNames.php | |
---|---|
場所: | maintenance/ |
ソース コード: | master • 1.42.3 • 1.41.4 • 1.39.10 |
クラス: | 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/generateConfigNames.php [ --output ]
Terminal
$ php maintenance/generateConfigNames.php --output Sample-Config.php