2019-11-07 - production
10:28	<moritzm>	upgrading mw1277-1279 servers to PHP 7.2.24 T237239	[production]