wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 08:34:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
Ed Sanders 2e62862dc7 Fix comment in header for MWEditModeTool 
Change-Id: I63e555c80a42073268ac487d0e0ee330531942ac
2014-01-13 15:18: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 Bump copyright like it's 2014 2014-01-05 20:06:50 +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