mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
99558f9076
This makes sure the corresponding top-leve part is selected in the list on the left when navigating the main area on the right. Bug: T289043 Change-Id: Id1b398e1786c4099d5b14fe88dd21a106269096b |
||
---|---|---|
.. | ||
ve-mw | ||
ve-mw-collab |