Handleiding:ConvertExtensionToRegistration.php

This page is a translated version of the page Manual:ConvertExtensionToRegistration.php and the translation is 100% complete.
MediaWiki-versie:
1.25
Gerrit change 166705

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

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.

Zie ook