2017-10-10 - production
11:32	<moritzm>	downgrading HHVM on deployment-mediawiki04 to HHVM 3.18.2 temporarily (to further narrow down a problem with the new wikidiff package)	[production]