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
mediawiki-l@lists.wikimedia.org