wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 00:30:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/tools
History
Moriel Schottlender 6744af7733 Quickfix Language Tool 
Correcting the language span tool so the ve.ui.LanguageInspector has
static name changed from 'language' to 'meta/language'

Change-Id: I66fd3d2558663c9f1304365a11fd1276e204a7e7
2013-09-04 18:32:21 -04:00
..
ve.ui.AnnotationTool.js Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.ClearAnnotationTool.js Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.DialogTool.js Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.ExperimentalTool.js Quickfix Language Tool 2013-09-04 18:32:21 -04:00
ve.ui.FormatTool.js Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.HistoryTool.js Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.IndentationTool.js Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.InspectorTool.js Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
ve.ui.ListTool.js Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00