The code for making the top-right search widget currently lives in WikibaseMediaInfo, as does the preference that controls it.
The code has already been duplicated into MediaSearch, but is currently inactive (preference & relevant hooks missing from extension.json) because they conflict & cause errors.
When Extension:MediaSearch takes over what is currently served from WikibaseMediaInfo, that relevant code must be removed from WikibaseMediaInfo & activated in MediaSearch in order to complete that transition.
Description
Details
Related Objects
Event Timeline
Change 674010 had a related patch set uploaded (by Matthias Mullie; owner: Matthias Mullie):
[mediawiki/extensions/MediaSearch@master] Enable search widget takeover & preference
Change 674015 had a related patch set uploaded (by Matthias Mullie; owner: Matthias Mullie):
[mediawiki/extensions/WikibaseMediaInfo@master] Remove search widget takeover
Change 674015 merged by jenkins-bot:
[mediawiki/extensions/WikibaseMediaInfo@master] Remove search widget takeover & preferences
Change 674010 merged by jenkins-bot:
[mediawiki/extensions/MediaSearch@master] Enable search widget takeover & preference
Change 695836 had a related patch set uploaded (by Matthias Mullie; author: Matthias Mullie):
[mediawiki/extensions/WikibaseMediaInfo@wmf/1.37.0-wmf.7] Remove search widget takeover & preferences