2020-06-03 - production
09:10	<moritzm>	upgrading mw1262-1265 to PHP 7.2.31	[production]