2019-11-08 - releng
17:46	<MaxSem>	Upgraded php7.2 on deployment-mwmaint01, was too old for MW	[releng]