mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
17a5cf6a93
If a tool had an education popup bound to it, but it was suppressed because the user has already seen it (according to the cookie or localStorage), then clicking that tool would cause a JS error. Also remove a workaround for a ClippableElement problem that appears to be unnecessary. Change-Id: I73a3f5f9cc1726e28e70fc545b72960afc5ac41c |
||
---|---|---|
.. | ||
actions | ||
commands | ||
contextitems | ||
datatransferhandlers | ||
dialogs | ||
inspectors | ||
pages | ||
styles | ||
themes | ||
tools | ||
widgets | ||
ve.ui.MWCommandRegistry.js | ||
ve.ui.MWExtensionWindow.js | ||
ve.ui.MWMobileContext.js | ||
ve.ui.MWMobileSurface.js | ||
ve.ui.MWSequenceRegistry.js |