2019-11-04 - production
12:00	<moritzm>	upgrading mw1261 to PHP 7.2.24 (T237239)	[production]