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]