Jump to content

Manual:generateConfigDefaultSettings.php

From mediawiki.org
This page is a translated version of the page Manual:GenerateConfigDefaultSettings.php and the translation is 69% complete.

詳細

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

関連項目