Manuel:ConvertExtensionToRegistration.php
| Version de MediaWiki : | ≥ 1.25 Gerrit change 166705 |
| Fichier MediaWiki : convertExtensionToRegistration.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.45.1 • 1.44.3 • 1.43.6 |
| Classes : | ConvertExtensionToRegistration |
Détails
convertExtensionToRegistration.php est un script de maintenance qui vous aide à migrer les extensions et les apparences des points d'entrée PHP vers un fichier de métadonnées JSON nommé extension.json ou skin.json.
Si votre extension prend en charge d’anciennes versions de MediaWiki, vous pouvez garder votre point d’entrée PHP NomDuDossier/NomDuFichier.php jusqu’à ce que vous retiriez le support pour ces anciennes versions.
Options et arguments
| Option/argument | Description | Type |
|---|---|---|
| <path> | Localisation du point d'entrée PHP que vous souhaitez convertir | obligatoire |
| --skin | Si vous voulez écrire à skin.json, utilisez cette option pour convertir une apparence !
|
optionnel |
| --config-prefix | Préfixe personnalisé pour les paramètres de configuration | optionnel |
Utilisation
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
Cela détecte de nombreuses déclarations de variables dans le point d'entrée FooBar.php et les convertit en paramètres dans un fichier extension.json.
Après, vous pourriez potentiellement vouloir nettoyer manuellement ces déclarations dans le fichier FooBar.php et ajouter un appel vers wfLoadExtension() comme détaillé dans Manuel:Enregistrement des extensions#Migration pour les développeurs d’extensions.
php maintenance/scriptName.php au lieu de php maintenance/run.php scriptName.