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. If your extension supports older versions of MediaWiki, you should keep your PHP entry point  until you drop support for those older versions.

Usage
This detects many variable declarations in the entry point  and converts them into settings in an   file. Afterwards, you might still want to manually clean up these declarations inside the  file and add a call to   as detailed on Manual:Extension registration#Migration for extension developers.