Hi,
I was just wondering what the best way to upgrade extensions was?
Usually what I do is what's written in the tutorial:
http://www.mediawiki.org/wiki/Manual:Upgrading#Upgrade_extensions
either download the version of extension for the Mediawiki version or do
a pull from git.
Is there or is anyone looking at creating a framework to "auto update"
extensions?
Basically taking a look at the version number of the wiki and comparing
that to the extension version then checking up to an online resource to
see if they are in sync. If not, pull the new extension over and merge
all the "specific" config files.
- This would be really useful to save time when many extensions are
installed, and/or many config files have been edited.
Regards,
Kaya