2020-01-09 - production
13:47	<moritzm>	upgrading mwdebug2002 to PHP 7.2.26	[production]