mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
bf5b682809
Change-Id: I92e55efb9c82f4d2ef55a71bea318cdc7495c2ea |
||
---|---|---|
.. | ||
ve.ui.AnnotationButtonTool.js | ||
ve.ui.ButtonTool.js | ||
ve.ui.ClearButtonTool.js | ||
ve.ui.DropdownTool.js | ||
ve.ui.FormatDropdownTool.js | ||
ve.ui.HistoryButtonTool.js | ||
ve.ui.IndentationButtonTool.js | ||
ve.ui.ListButtonTool.js |