mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-18 11:46:01 +00:00
3b09a0719c
The double result creates more confusion that it clears up, and now that the query input is always used for text insertion it is less of an issue that we don't have a case-exact match in the results list. Bug: T230819 Change-Id: I58cbe740fa7d0327aadd5dd111161bb7087a4ddb |
||
---|---|---|
.. | ||
ve.ui.MWAceEditorWidget.js | ||
ve.ui.MWCategoryInputWidget.js | ||
ve.ui.MWCategoryItemWidget.js | ||
ve.ui.MWCategoryPopupWidget.js | ||
ve.ui.MWCategoryWidget.js | ||
ve.ui.MWEditSummaryWidget.js | ||
ve.ui.MWExternalLinkAnnotationWidget.js | ||
ve.ui.MWGalleryGroupWidget.js | ||
ve.ui.MWGalleryItemWidget.js | ||
ve.ui.MWInternalLinkAnnotationWidget.js | ||
ve.ui.MWLazyMultilineTextInputWidget.js | ||
ve.ui.MWMediaInfoFieldWidget.js | ||
ve.ui.MWMoreParametersResultWidget.js | ||
ve.ui.MWNoParametersResultWidget.js | ||
ve.ui.MWParameterCheckboxInputWidget.js | ||
ve.ui.MWParameterResultWidget.js | ||
ve.ui.MWParameterSearchWidget.js | ||
ve.ui.MWPreTextInputWidget.js | ||
ve.ui.MWTargetWidget.js | ||
ve.ui.MWTemplateTitleInputWidget.js | ||
ve.ui.MWTocWidget.js |