2012-05-30 - releng
14:54	<hashar>	Updating mediawiki/core to 9780085 (aka just https://gerrit.wikimedia.org/r/#/c/9397/ which fix a wrong class name in job system)	[releng]