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/ve2/ui/tools
History
Trevor Parscal cc17c81469 Convert content branches to paragraphs before wrapping them in a list 
Change-Id: I987a92e838b817dfe7afbcaae19c03b9437f7b66
2012-06-19 12:50:01 -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 Convert content branches to paragraphs before wrapping them in a list 2012-06-19 12:50:01 -07:00