Manual:ConvertExtensionToRegistration.php/nl

Details
convertExtensionToRegistration.php is een onderhoudsscript, voor het eenvoudiger migreren van extensies en skins van PHP entrypoints naar een JSON metadata-bestand  of. Als uw extensie oudere versies van MediaWiki ondersteunt, hou dan uw PHP entrypoint $1 totdat u met de ondersteuning van die oudere versies stopt.



Gebruik
Hiermee worden veel variabele declaraties gevonden in het entrypoint  en geconverteerd naar instellingen in een   bestand. Daarna kun je nog handmatig een opschoning doen van deze declaraties binnen het bestand  en een aanroep naar   toevoegen zoals aangegeven in de Manual:Extension registration#Migration for extension developers.

