mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-02 09:57:01 +00:00
99cdc08f53
OOjs UI's styles now include 'top: 0' for icons, which messes us up here. Bug: T178415 Change-Id: Ia3234848f69fd67d0b3e35c817de1d9847d46143 |
||
---|---|---|
.. | ||
actions | ||
commands | ||
contextitems | ||
datatransferhandlers | ||
dialogs | ||
elements | ||
inspectors | ||
pages | ||
styles | ||
themes | ||
tools | ||
widgets | ||
ve.ui.MWCommandRegistry.js | ||
ve.ui.MWExtensionWindow.js | ||
ve.ui.MWSequenceRegistry.js | ||
ve.ui.MWWikitextCommandRegistry.js | ||
ve.ui.MWWikitextDataTransferHandlerFactory.js | ||
ve.ui.MWWikitextSequenceRegistry.js | ||
ve.ui.MWWikitextSurface.js | ||
ve.ui.MWWikitextTransferRegistry.js |