2013-10-11 - releng
10:16	<hashar>	git directory of mediawiki/extensions was borked following the NFS migration. Ffixing it up manually	[releng]