mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
1e0486a679
Depends-on: I39936ed83d5a60471a0a75da753f498e80aef234 Depends-on: Ifd853bf9f901065798bd0063aeaa786a3761aa71 Depends-on: I32c93c5118eafe5f071252290c58d3de8dacc81a Change-Id: Iba0f25b3ebe4e5e63377da57afb760d6980f9907 |
||
---|---|---|
.. | ||
ve.ui.MWEditModeTool.js | ||
ve.ui.MWEducationPopupTool.js | ||
ve.ui.MWFormatTool.js | ||
ve.ui.MWGalleryInspectorTool.js | ||
ve.ui.MWLinkInspectorTool.js | ||
ve.ui.MWMediaDialogTool.js | ||
ve.ui.MWMetaDialogTool.js | ||
ve.ui.MWMobileLinkInspectorTool.js | ||
ve.ui.MWPopupTool.js | ||
ve.ui.MWSignatureTool.js | ||
ve.ui.MWTransclusionDialogTool.js |