2019-09-24 - production
09:51	<effie>	Upgrade to php 7.2.22 on mwmaint* - T230024	[production]