2014-08-18 - releng
17:47	<godog>	upgraded hhvm on mediawiki02 to 3.3-dev+20140728+wmf5	[releng]