Manual:Run.php/ja
| MediaWiki ファイル: run.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.43.1 • 1.42.6 • 1.39.12 |
| クラス: | コードを検索 • 説明文書を検索 Category:MediaWiki code pages without class names/ja |
詳細
run.php file is the command line entry point introduced in 2022 for running maintenance scripts.
It should be called with php ./maintenance/run.php, or optionally via the executable ./maintenance/run on systems that support that.
Since MediaWiki 1.40, running a maintenance script without using run.php has been deprecated.
使用法
php ./maintenance/run.php <script>
<script> - The name of the maintenance script to run.
Can be given as a class name or file path.
The .php suffix is optional.
Paths starting with ./ or ../ are interpreted to be relative to the current working directory.
Other relative paths are interpreted relative to the maintenance script directory.
Dots (.) are supported as namespace separators in class names.
An extension name may be provided as a prefix, followed by a colon, e.g. MyExtension:exampleScript, to indicate that the path or class name should be interpreted relative to the extension.
高度な使用法
php ./maintenance/run.php [--conf|--globals|--memory-limit|--profiler|--server|--wiki] <script>
汎用保守パラメータ
| オプション/パラメーター | 説明 |
|---|---|
| --conf | Location of "LocalSettings.php", if not default |
| --globals | Output globals at the end of processing for debugging |
| --memory-limit | Set a specific memory limit for the script, "max" for no limit or "default" to avoid changing it |
| --profiler | The output format of the profiler, usually "text". |
| --server | The protocol and server name to use in URLs, e.g. https://en.wikipedia.org. This is sometimes necessary because server name detection may fail in command line scripts. |
| --wiki | For specifying the wiki ID |