summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>2022-01-12 12:46:12 +0000
committerGerrit Code Review <gerrit@wikimedia.org>2022-01-12 12:46:12 +0000
commitea3fc11012e566e9e66105938863faa3052cab23 (patch)
treef61c61c67596141ecb853e561c903f397f56695a
parent2f3fcfa8e4e05f9e498d1b967d09c8a2a4306f6f (diff)
Update git submodules
* Update extensions/MediaSearch from branch 'wmf/1.38.0-wmf.17' to 49a1b7827fe0a73d679aa176ce4d386856b93000 - Merge "Undo update to the way the search interface is set" into wmf/1.38.0-wmf.17 - Undo update to the way the search interface is set We only intend to deploy this if we fail to successfully run the maintenance script in time, converting all existing preferences to their new equivalent. If that doesn't happen, we need to merge this to undo the changes, since people would otherwise find their preferences no longer respected. Change-Id: I5f674084cfa0bd45ca60225d48a42805437cd136
m---------extensions/MediaSearch0
1 files changed, 0 insertions, 0 deletions
diff --git a/extensions/MediaSearch b/extensions/MediaSearch
-Subproject 854f1747a9bf0f5e1bed46a8347c796853a9584
+Subproject 49a1b7827fe0a73d679aa176ce4d386856b9300