On Sun, Mar 25, 2012 at 3:24 PM, Brion Vibber brion@pobox.com wrote:
I've started on a MediaWiki extension to assist in fetching extensions as well, stealing a couple bits from that script. :)
Since I haven't yet fully grokked setting up new exts in gerrit it's sitting on github at the moment: https://github.com/brion/MediaWiki-ExtensionFetcher
Now with a primitive GUI Special:ExtensionFetcher; if extensions/ is writable it can do anonymous clones into there. You'll have to manage LocalSettings.php yourself for now.
-- brion