mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
e095b773b9
Use $.when() to check if there were results to the search. This also makes sure that the 'results not found' message only appears when it actually should. Bug: 65321 Bug: 67438 Change-Id: I437ef639918ace1041bb8c9f7fdd04a4e83885eb |
||
---|---|---|
.. | ||
ve.ui.MWCategoryInputWidget.js | ||
ve.ui.MWCategoryItemWidget.js | ||
ve.ui.MWCategoryPopupWidget.js | ||
ve.ui.MWCategoryWidget.js | ||
ve.ui.MWLinkTargetInputWidget.js | ||
ve.ui.MWMediaResultWidget.js | ||
ve.ui.MWMediaSearchWidget.js | ||
ve.ui.MWMoreParametersResultWidget.js | ||
ve.ui.MWNoParametersResultWidget.js | ||
ve.ui.MWParameterResultWidget.js | ||
ve.ui.MWParameterSearchWidget.js | ||
ve.ui.MWReferenceResultWidget.js | ||
ve.ui.MWReferenceSearchWidget.js | ||
ve.ui.MWTitleInputWidget.js | ||
ve.ui.MWTocItemWidget.js | ||
ve.ui.MWTocWidget.js |