Jump to content

Manual:generateConfigNames.php

From mediawiki.org
This page is a translated version of the page Manual:GenerateConfigNames.php and the translation is 82% complete.
MediaWiki バージョン:
1.39

詳細

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

関連項目