2019-09-03 - production
13:09	<moritzm>	upgrading remaining mwdebug servers to PHP 7.2.22 T230024	[production]