2019-09-03 - production
12:39	<moritzm>	upgrading mwdebug2001 to PHP 7.2.22	[production]