mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-26 07:15:32 +00:00
03c5822b6b
Also update tools for changes in VE core. New changes: e4de14b Make tools use commands e029817 Make getToolsForNode place primary commands first Change-Id: I66575ee6d49e6b2f5a5f789978da98bb55e6dc5e |
||
---|---|---|
.. | ||
jquery.uls | ||
ve@c5f4f7815c |