2018-05-22 - production
09:47	<moritzm>	upgrading mw123[8-9], mw1266-mw1275 to HHVM 3,18.5+dfsg-1+wmf8+deb9u1	[production]