mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-28 16:20:52 +00:00
690984772f
New changes: 14a58c5 ve.ui.FormatTool: Set deactivateOnSelect = false d85370d ve.ui.Toolbar: Do not remove window event listeners in #setup 71f877d ve.ui.MoreTextStyleTool: Set autoAddToCatchall = false; Change-Id: I78163d05bb45d88ed4fc9d3cd4193e29c1515d4e |
||
---|---|---|
.. | ||
Base64.js | ||
Easy-Deflate | ||
ve@ad44a9b8bd |