2020-06-03 - production
08:09	<moritzm>	upgrading remaining mwdebug* servers to PHP 7.2.31	[production]