2013-11-05 - production
16:40	<hashar>	beta: extensions update has been blocked since Oct 30th due to some bad registration in mediawiki/extensions.git . Fixed!	[production]