2019-09-05 - production
10:31	<moritzm>	upgrading mw1319-mw1333 to PHP 7.2.22	[production]