Gerrit change 166705
|MediaWiki file: convertExtensionToRegistration.php|
|Source code:||master • 1.36.1 • 1.35.3 • 1.31.15|
convertExtensionToRegistration.php is a maintenance script, which helps you migrating extensions and skins from PHP entry points to a JSON metadata file named
skin.json. If your extension supports older versions of MediaWiki, you should keep your PHP entry point
FooBar/FooBar.php until you drop support for those older versions
php maintenance/convertExtensionToRegistration.php extensions/FooBar/FooBar.php
This detects many variable declarations in the entry point
FooBar.php and converts them into settings in an
extension.json file. Afterwards, you might still want to manually clean up these declarations inside the
FooBar.php file and add a call to
wfLoadExtension() as detailed on Manual:Extension registration#Migration for extension developers.
php convertExtensionToRegistration.php <path> [<options>]
<path> Location to the PHP entry point you wish to convert
--skin Whether to write to skin.json; use this option for converting a skin!