On Sun, Mar 25, 2012 at 3:24 PM, Brion Vibber <br...@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 _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l