mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +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 |
||
---|---|---|
.. | ||
ve.ce.MWAlienExtensionNode.js | ||
ve.ce.MWBlockImageNode.js | ||
ve.ce.MWEntityNode.js | ||
ve.ce.MWExtensionNode.js | ||
ve.ce.MWGalleryNode.js | ||
ve.ce.MWHeadingNode.js | ||
ve.ce.MWImageCaptionNode.js | ||
ve.ce.MWImageNode.js | ||
ve.ce.MWInlineImageNode.js | ||
ve.ce.MWNumberedExternalLinkNode.js | ||
ve.ce.MWPreformattedNode.js | ||
ve.ce.MWReferenceNode.js | ||
ve.ce.MWReferencesListNode.js | ||
ve.ce.MWTableNode.js | ||
ve.ce.MWTransclusionNode.js |