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
Trevor Parscal a0f537712e Converted some instances of "var\t" to "var " 
Change-Id: I02154e0381d5ae65b482bbcfc21ac93d0bf30d86
2012-07-19 17:24:54 -07:00
..
ve.ui.AnnotationButtonTool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.ButtonTool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.ClearButtonTool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.DropdownTool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.FormatDropdownTool.js Converted some instances of "var\t" to "var " 2012-07-19 17:24:54 -07:00
ve.ui.HistoryButtonTool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.IndentationButtonTool.js Converted some instances of "var\t" to "var " 2012-07-19 17:24:54 -07:00
ve.ui.ListButtonTool.js Converted some instances of "var\t" to "var " 2012-07-19 17:24:54 -07:00