Tim merged my patch which implements the extension registration RfC.
For extensions (and skins!) to use this they need to be converted to
have extension.json (or skin.json) files. A maintenance script,
convertExtensionToRegistration.php, has been written to do this, but
there may be some edge cases that need some manual tweaking.
How should we go about migrating extensions? I've come up with a few
1. Package the extension registration code into an "extension" which can
be used by people who want to run newer copies of extensions on old
MediaWiki versions. We would then convert extensions to the
extension.json format and remove the PHP entry points.
2. Similar to #1, but package the extension registration code in each
individual extension, like was done with the i18n migration. I don't
really like this idea because a change to the code requires updating
every single extension.
3. Convert all extensions to extension.json, but continue to maintain
PHP entry points with duplicated information if the extension wants to
maintain old compatibility.
I'm personally leading towards option #1. Thoughts?
Once we have a migration plan decided, I'll start working on updating
documentation and other fun stuff.