mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 02:23:58 +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-mw | ||
ve-wmf/i18n |