Handleiding:ConvertExtensionToRegistration.php
| MediaWiki-versie: | ≥ 1.25 Gerrit change 166705 |
| MediaWiki bestand: convertExtensionToRegistration.php | |
|---|---|
| Locatie: | maintenance/ |
| Broncode: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes: | ConvertExtensionToRegistration |
Details
convertExtensionToRegistration.php is een onderhoudsscript, voor het eenvoudiger migreren van extensies en skins van PHP entrypoints naar een JSON metadata-bestand extension.json of skin.json.
Als uw extensie oudere versies van MediaWiki ondersteunt, hou dan uw PHP entrypoint DirName/FileName.php totdat u met de ondersteuning van die oudere versies stopt.
Opties/Argumenten
| Optie/Argument | Beschrijving | Verplicht? |
|---|---|---|
| <path> | Locatie naar het PHP entrypoint dat u wilt converteren | Verplicht |
| --skin | Of om naar skin.json te schrijven; gebruik deze optie om een skin te converteren!
|
Optioneel |
| --config-prefix | Aangepaste prefix voor configuratie instellingen | Optioneel |
Gebruik
php maintenance/convertExtensionToRegistration.php <path> [ --skin| --config-prefix ]
Terminal
$ php maintenance/convertExtensionToRegistration.php extensions/FooBar/FooBar.php Wrote output to extensions/FooBar/extension.json
Hiermee worden veel variabele declaraties gevonden in het entrypoint FooBar.php en geconverteerd naar instellingen in een extension.json bestand.
Daarna kun je nog handmatig een opschoning doen van deze declaraties binnen het bestand FooBar.php en een aanroep naar wfLoadExtension() toevoegen zoals aangegeven in de Manual:Extension registration#Migration for extension developers.