Skip to content

Do not use class=elements for non-element definitions.#95

Merged
otherdaniel merged 1 commit intoWICG:mainfrom
otherdaniel:fix-element-markup
Feb 26, 2026
Merged

Do not use class=elements for non-element definitions.#95
otherdaniel merged 1 commit intoWICG:mainfrom
otherdaniel:fix-element-markup

Conversation

@otherdaniel
Copy link
Collaborator

We used class=element tables for interface definitions, because they're pretty. We remove this usage, and use class=element only for element definitions.

Per w3c/browser-specs#2107 (comment) this confuses the webref crawler.

@otherdaniel otherdaniel merged commit 774477b into WICG:main Feb 26, 2026
3 checks passed
github-actions bot added a commit that referenced this pull request Feb 26, 2026
SHA: 774477b
Reason: push, by otherdaniel

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Feb 26, 2026
SHA: 774477b
Reason: push, by otherdaniel

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant