2020-06-09 - production
07:30	<moritzm>	upgrading mw1390-mw1413 to PHP 7.2.31	[production]