2019-09-04 - production
08:56	<moritzm>	upgrading mw1238-mw1258 to PHP 7.2.22	[production]