wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-28 12:46:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve2/ui/tools
History
Trevor Parscal 429225fb57 Whitespace fixes (jshint was tweaking out) 
Change-Id: Id75a097ae4958029caf0a0315343c2fab9c99b89
2012-06-13 16:06:21 -07:00
..
ve.ui.AnnotationButtonTool.js Whitespace fixes (jshint was tweaking out) 2012-06-13 16:06:21 -07:00
ve.ui.ButtonTool.js Whitespace fixes (jshint was tweaking out) 2012-06-13 16:06:21 -07:00
ve.ui.ClearButtonTool.js Cleaned up toolbar annotation updates 2012-06-13 14:31:46 -07:00
ve.ui.DropdownTool.js Whitespace fixes (jshint was tweaking out) 2012-06-13 16:06:21 -07:00
ve.ui.FormatDropdownTool.js Whitespace fixes (jshint was tweaking out) 2012-06-13 16:06:21 -07:00
ve.ui.HistoryButtonTool.js Undo and Redo 2012-06-08 16:21:47 -07:00
ve.ui.IndentationButtonTool.js Whitespace fixes (jshint was tweaking out) 2012-06-13 16:06:21 -07:00
ve.ui.ListButtonTool.js Whitespace fixes (jshint was tweaking out) 2012-06-13 16:06:21 -07:00