search

JeroenDeDauw / ExtensionInstaller

Tool that allows for easy installation and updating of MediaWiki extensions
GNU General Public License v2.0
7 stars 2 forks source link

MediaWiki 1.25 #5

Open JonasGroeger opened 9 years ago

JonasGroeger commented 9 years ago

Hello!

Will the new extension system in MW1.25 change anything related to this extension?

JeroenDeDauw commented 9 years ago

The changes in MW 1.25 will not force you to change anything when using this extension. However, as the README notes, you do not need this extension when using MW 1.22 or later.