2019-09-05 - production
10:46	<moritzm>	upgrading mw1221-mw1335 to PHP 7.2.22	[production]