mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-01 17:36:35 +00:00
d8d3a8c98e
It can be very slow on pages with lots of references and isn't required until you click 'Use existing reference'. What is required is knowing if the list will be empty for greying out the button, but that can be precomputed very cheaply. Change-Id: I56909801a5685bb04e0c83cfb95463f705b8dfae |
||
---|---|---|
.. | ||
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 |