mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
306680efd5
To verify * Save "MediaWiki:Edit" with "Edit page" (anything not "Edit") * Set this.tabLayout = 'replace'; * Observe that the ve-edit tab is now "Edit" (msg: vector-view-edit) instead of "Edit page" (msg: edit) Bug: 42117 Change-Id: I2e7dd85cd14049101e2d49751d37797d77bc7c9d |
||
---|---|---|
.. | ||
mw | ||
sa | ||
ve.init.js | ||
ve.init.Platform.js | ||
ve.init.Target.js |