2020-06-04 - production
12:02	<moritzm>	upgrading mw1276 to PHP 7.2.31	[production]