2013-06-25 - production
12:26	<hashar>	jenkins: all mediawiki extension jobs got updated.	[production]