2019-09-04 - production
11:38	<moritzm>	upgrading mw1339-mw1348 to PHP 7.2.22	[production]