2021-11-01 - production
20:44	<legoktm>	upgrading PHP 7.2 on mwdebug* servers	[production]