mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
6d4a7f932e
The duplicate header, especially the duplicate elements with identical IDs, were difficult to handle for other scripts. Now instead of hiding the entire wikitext diff, we only hide the "content" rows but keep the header, and adjust our attributes on the header back-and-forth when switching diff modes. Bug: T192755 Change-Id: I3a6bb4730fefd81f533b786ec3b20241c4cb8d13 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |