wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-11 05:56:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve2/ui/tools
History
Rob Moen d3cb2ccb26 write update and unlist method for list button tool 
Change-Id: Ie1f0f8755aac7058d93890e13efefb3c63ee9710
2012-06-19 10:08:05 -07:00
..
ve.ui.AnnotationButtonTool.js Crusade against hardcoded English, i18n for everything 2012-06-19 01:30:30 -07:00
ve.ui.ButtonTool.js Whitespace fixes (jshint was tweaking out) 2012-06-13 16:06:21 -07:00
ve.ui.ClearButtonTool.js Crusade against hardcoded English, i18n for everything 2012-06-19 01:30:30 -07:00
ve.ui.DropdownTool.js Whitespace fixes (jshint was tweaking out) 2012-06-13 16:06:21 -07:00
ve.ui.FormatDropdownTool.js Crusade against hardcoded English, i18n for everything 2012-06-19 01:30:30 -07:00
ve.ui.HistoryButtonTool.js Crusade against hardcoded English, i18n for everything 2012-06-19 01:30:30 -07:00
ve.ui.IndentationButtonTool.js Crusade against hardcoded English, i18n for everything 2012-06-19 01:30:30 -07:00
ve.ui.ListButtonTool.js write update and unlist method for list button tool 2012-06-19 10:08:05 -07:00