diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2022-01-12 12:46:12 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2022-01-12 12:46:12 +0000 |
commit | ea3fc11012e566e9e66105938863faa3052cab23 (patch) | |
tree | f61c61c67596141ecb853e561c903f397f56695a | |
parent | 2f3fcfa8e4e05f9e498d1b967d09c8a2a4306f6f (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/MediaSearch | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/extensions/MediaSearch b/extensions/MediaSearch -Subproject 854f1747a9bf0f5e1bed46a8347c796853a9584 +Subproject 49a1b7827fe0a73d679aa176ce4d386856b9300 |