mediawiki-extensions-Visual.../modules/ve/ui/tools
2012-07-26 18:53:00 +00: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 Restore arrow-down to original size because it is needed in context menu. 2012-07-25 12:18:51 -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 Remove trailing commas 2012-07-23 19:15:23 -07:00
ve.ui.ListButtonTool.js (bug 37905) Make unlisting unlist all list levels 2012-07-25 14:24:39 -07:00