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