2019-11-06 - production
08:51	<moritzm>	upgrading remaining mwdebug* servers to PHP 7.2.24 T237239	[production]