mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
ba1718ea11
We do this additional prefixsearch anyway. What we did before was ignoring the result when it was not a 100% exact match. Instead we can always add this 1 prefixsearch result when it was not already part of the CirrusSearch result set. This won't happen often. Usually the 1st prefixsearch result was already part of the CirrusSearch result set anyway. But if it wasn't, that's a serious issue for expert users that expect the search to behave similar to the suggester at the top of the MediaWiki interface (which is also a prefixsearch). Change-Id: I959d2b058a3d64596a8cfbe5476ab351e40f8760 |
||
---|---|---|
.. | ||
actions | ||
commands | ||
contextitems | ||
datatransferhandlers | ||
dialogs | ||
elements | ||
inspectors | ||
pages | ||
styles | ||
tools | ||
widgets | ||
ve.ui.MWCommandRegistry.js | ||
ve.ui.MWExtensionWindow.js | ||
ve.ui.MWSequenceRegistry.js | ||
ve.ui.MWSurface.js | ||
ve.ui.MWTransclusionsBooklet.js | ||
ve.ui.MWWikitextCommandRegistry.js | ||
ve.ui.MWWikitextDataTransferHandlerFactory.js | ||
ve.ui.MWWikitextSequenceRegistry.js | ||
ve.ui.MWWikitextSurface.js | ||
ve.ui.MWWikitextTransferRegistry.js |