mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-01 17:36:35 +00:00
1b5d950904
es, eu, fr, gl, hu, it, nl, pt(-br) all covered now. Bug: 51702 Bug: 51703 Bug: 51704 Bug: 51705 Bug: 51706 Bug: 51707 Bug: 51709 Bug: 51710 Change-Id: Ie75cc0941245dffabf64f09d649982ba48fae340 |
||
---|---|---|
.. | ||
ve.ui.BoldButtonTool.js | ||
ve.ui.BulletButtonTool.js | ||
ve.ui.ClearButtonTool.js | ||
ve.ui.IndentButtonTool.js | ||
ve.ui.ItalicButtonTool.js | ||
ve.ui.LinkButtonTool.js | ||
ve.ui.NumberButtonTool.js | ||
ve.ui.OutdentButtonTool.js | ||
ve.ui.RedoButtonTool.js | ||
ve.ui.UndoButtonTool.js |