mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
4fc02cea6a
In the case the node is empty and we need an icon, use a separate icon element that is detached and reattached as needed. Change-Id: I5bcbe531cb1db1a4ac25ed4a2f462dde08513b7b |
||
---|---|---|
.. | ||
nodes |