2012-05-11 - releng
18:21	<hashar>	Replaced extensions with a fresh clone of mediawiki/extensions.git	[releng]