Manual:ConvertExtensionToRegistration.php
| Versão do MediaWiki: | ≥ 1.25 Gerrit change 166705 |
| Arquivo do MediaWiki: convertExtensionToRegistration.php | |
|---|---|
| Localização: | maintenance/ |
| Código-fonte: | master • 1.44.2 • 1.43.5 • 1.39.15 |
| Classes: | ConvertExtensionToRegistration |
Detalhes
convertExtensionToRegistration.php é um script de manutenção que ajuda a migrar extensões e skins de pontos de entrada PHP para um arquivo de metadados JSON chamado extension.json ou skin.json.
Se sua extensão suporta versões mais antigas do MediaWiki, você deve manter seu ponto de entrada PHP DirName/FileName.php até que você deixe de oferecer suporte para essas versões mais antigas.
Opções/Argumentos
| Opção/Argumento | Descrição | Necessário? |
|---|---|---|
| <path> | Localização do ponto de entrada PHP que você deseja converter | Required |
| --skin | Se deseja gravar em skin.json; utilize esta opção para converter uma skin!
|
Optional |
| --config-prefix | Prefixo personalizado para configurações | Optional |
Uso
php maintenance/run.php convertExtensionToRegistration <path> [ --skin| --config-prefix ]
$ php maintenance/run.php convertExtensionToRegistration extensions/FooBar/FooBar.php Wrote output to extensions/FooBar/extension.json
Isso detecta muitas declarações de variáveis no ponto de entrada FooBar.php e as converte em configurações em um arquivo extension.json.
Depois disso, talvez você ainda queira limpar manualmente essas declarações dentro do arquivo FooBar.php e adicionar uma chamada para wfLoadExtension(), conforme detalhado em Manual:Registro de extensões#Migração para desenvolvedores de extensões.
php maintenance/scriptName.php em vez de php maintenance/run.php scriptName.