On Sun, Mar 25, 2012 at 3:24 PM, Brion Vibber <brion(a)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