wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
jenkins-bot adf8249688 Merge "Ultra-basic gallery editing"
2014-01-15 23:27:06 +00:00
..
ve.ui.MWAlienExtensionInspectorTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWDialogTool.js Keyboard shortcuts MW integration 2014-01-15 14:04:06 -08:00
ve.ui.MWEditModeTool.js Fix comment in header for MWEditModeTool 2014-01-13 15:18:06 +00:00
ve.ui.MWFormatTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWGalleryInspectorTool.js Ultra-basic gallery editing 2014-01-15 15:13:12 -08:00
ve.ui.MWHieroInspectorTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWInspectorTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWMathInspectorTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWPopupTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00