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
Ed Sanders a703086e61 Keyboard shortcuts MW integration 
Also adds a button to the utilities menu.

Depends on I806343b42c5fc63d.

Bug: 52844
Change-Id: Ia488362f4b8c9b99b615c84a7341d97e28bdb295
2014-01-15 14:04:06 -08: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.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