Editorial: Eliminate w-nodev & w-dev nested within w-nodev
#11265
Conversation
It's redundant to have an element marked `w-nodev` within another element marked `w-nodev`. Delete the tags of the inner element, keeping its content.
It's pointless to have an element marked `w-dev` within an element marked `w-nodev`. Delete the inner element, including its content.
|
These are for https://html.spec.whatwg.org/dev/ |
|
Not sure what you mean by "these". I understand that I probably should have been clearer in the last para of my original comment: |
|
I see, apologies for not looking more carefully. Running |
|
It would probably be a good idea, if possible, to also lint against this happening in the future. |
(Presented as 2 commits for possible ease of review. Squash on merge, I expect.)
Within an element marked
w-nodev:w-nodev, so delete the tags of the inner element, retaining its content.w-dev, so delete the whole inner element.Running
html-buildconfirms no change to the output, other than deleting some blank lines./iframe-embed-object.html ( diff )
/interactive-elements.html ( diff )