2019-03-11 - production
14:21	<moritzm>	upgrading mwdebug servers to PHP 7.2.16	[production]