2019-09-05 - production
12:13	<moritzm>	upgrading mw1284-mw1290 to PHP 7.2.22	[production]