2022-05-25 - production
08:35	<ladsgroup@deploy1002>	Synchronized wmf-config/ext-ORES.php: Config: [[gerrit:793873|Move out ORES extension configuration out of InitialiseSettings.php]], Part 1/3 (duration: 00m 50s)	[production]