Reduce cost of cloning MediaWiki for the builds that just need master