mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
13f5637290
I'm more in favor of leaving no garbage behind. The TODO with a date is a good way of making sure this gets removed eventually. This could have been part of Ie6eea76. The new code is added to the same spot where the code removed in Ie6eea76 originally was. Bug: T296471 Depends-On: Ie6eea76dacdc614ecb910c48e7e1f519b8c69322 Change-Id: Idec63201ff4aa52a0c53c6d007577a93c94e0ec0 |
||
---|---|---|
.. | ||
actions | ||
commands | ||
contextitems | ||
datatransferhandlers | ||
dialogs | ||
elements | ||
inspectors | ||
pages | ||
styles | ||
tools | ||
widgets | ||
ve.ui.MWAriaDescribe.js | ||
ve.ui.MWCommandRegistry.js | ||
ve.ui.MWExtensionWindow.js | ||
ve.ui.MWSequenceRegistry.js | ||
ve.ui.MWSurface.js | ||
ve.ui.MWWikitextCommandRegistry.js | ||
ve.ui.MWWikitextDataTransferHandlerFactory.js | ||
ve.ui.MWWikitextSequenceRegistry.js | ||
ve.ui.MWWikitextSurface.js | ||
ve.ui.MWWikitextTransferRegistry.js |