2017-02-20 - production
09:46	<moritzm>	upgrading mediawiki servers in codfw to HHVM 3.12.14	[production]