2019-11-06 - production
09:46	<moritzm>	upgrading mw1262-mw1265,mw1276 servers to PHP 7.2.24 T237239	[production]