diff options
author | Cormac Parle <cparle@wikimedia.org> | 2022-01-11 12:21:10 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2022-01-11 12:21:10 +0000 |
commit | 4e461882d3c2d80e59ad98487bad4225d179cec0 (patch) | |
tree | b3845979ce46878dec14bf3df388c6d3cf58e01f | |
parent | 088f363e0bc54b84e5215676d383d2fe588e18f3 (diff) |
Update git submodules
* Update extensions/MediaSearch from branch 'wmf/1.38.0-wmf.16'
to fbacc9eb687ba90c52e0bf920ea0cacef06ffafc
- Update the way the search interface is set
There is now a global preference search-special-page,
so use that for choosing the default search interface
Bug: T297484
Change-Id: I340930010a8b7dda0078a30f5e4c07b0d00aed5a
m--------- | extensions/MediaSearch | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/extensions/MediaSearch b/extensions/MediaSearch -Subproject 7d1a464498f143abbd929a3ad6f0bfe66109090 +Subproject fbacc9eb687ba90c52e0bf920ea0cacef06ffaf |