2019-11-01 - production
12:56	<moritzm>	upgrading mwdebug2002 to PHP 7.2.24 for some smoke tests with the new build	[production]