2017-02-22 - production
10:54	<moritzm>	upgrading remaining mediawiki servers to HHVM 3.12.14	[production]