| Ficheiro do MediaWiki: run.php | |
|---|---|
| Localização: | maintenance/ |
| Código fonte: | master • 1.45.3 • 1.44.5 • 1.43.8 |
| Classes: | Encontrar código • Encontrar documentação |
Detalhes
O ficheiro run.php é o ponto de entrada da linha de comandos introduzido em 2022 para executar os comandos de manutenção.
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.
Utilização
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.
Utilização Avançada
php ./maintenance/run.php <script> [--conf|--globals|--memory-limit|--profiler|--server|--wiki]
Parâmetros de manutenção genéricos
| Opção/Parâmetro | Descrição |
|---|---|
| --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 |