2022-01-19 - production
12:38	<lucaswerkmeister-wmde@deploy1002>	Synchronized php-1.38.0-wmf.17/extensions/MediaSearch/extension.json: Backport: [[gerrit:753487|Revert "Undo update to the way the search interface is set"]] (part 1) (duration: 01m 34s)	[production]