wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/tools
History
Ed Sanders c0650459df Fix merge conflict breaking localised bold/italic icons 
Bug introduced by change Ic97a636f9.

Bug: 53094
Change-Id: I4bf0bd4d340dfbad26a0d729de866985f81d14aa
2013-09-12 11:44:20 -07:00
..
ve.ui.AnnotationTool.js Fix merge conflict breaking localised bold/italic icons 2013-09-12 11:44:20 -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 Move text style tools out of experimental 2013-09-11 19:41:14 -07: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