mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
900b74e9a9
New changes: 14bcc9256 Give toolbars groups names Local changes: Give toolbars groups names Also create an empty placeholder group for reference tools. This allows targets to specify if they should show them. Depends-On: Iccaf35cf941cb47ad55e8d98373461f5eaff5fed Change-Id: I0bace5e5fe05f9c214d57a74c478b48a7dcaec3b |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |