2018-05-22 - production
09:22	<moritzm>	upgrading mw1280-mw1290 to HHVM 3,18.5+dfsg-1+wmf8+deb9u1	[production]