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