mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2025-01-09 03:34:16 +00:00
b0e32c22fa
This option was added in 0.43.0. Now that the close button is handled, the remaining functionality (store a flag in local storage, and fixing link targets) doesn't really justify a separate class, especially as it's currently only used once. Change-Id: I0fd81cadccc077dbf957302f9f41409c5a1f4f20 |
||
---|---|---|
.. | ||
images | ||
ve.ui.MWAceEditorWidget.css | ||
ve.ui.MWCategoryInputWidget.css | ||
ve.ui.MWCategoryItemWidget.css | ||
ve.ui.MWCategoryPopupWidget.css | ||
ve.ui.MWCategoryWidget.css | ||
ve.ui.MWEducationPopupWidget.css | ||
ve.ui.MWMediaInfoFieldWidget.css | ||
ve.ui.MWMoreParametersResultWidget.css | ||
ve.ui.MWNoParametersResultWidget.css | ||
ve.ui.MWParameterResultWidget.css | ||
ve.ui.MWParameterSearchWidget.css | ||
ve.ui.MWTocWidget.css |