Re: [Mediawiki-l] git checkout of all extensions