2015-05-12 - production
15:10	<hashar>	mediawiki-phpunit-hhvm Jenkins job is broken due to an hhvm upgrade {{bug|T98876}}	[production]