Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add the <menu> element #1421

Merged
merged 11 commits into from
Aug 13, 2024
Merged

Add the <menu> element #1421

merged 11 commits into from
Aug 13, 2024

Conversation

petele
Copy link
Collaborator

@petele petele commented Jul 16, 2024

No description provided.

@github-actions github-actions bot added the feature definition Creating or defining new features or groups of features. label Jul 16, 2024
@petele petele requested a review from ddbeck August 8, 2024 15:54
@petele
Copy link
Collaborator Author

petele commented Aug 8, 2024

@ddbeck - this is now failing because it also includes - api.HTMLLIElement which is also include in list-elements.yml. Looking at #1173, we still don't have a graceful way to resolve duplicate elements. My inclination is to comment out the - api.HTMLLIElement items, and add a comment. Objections?

Copy link
Collaborator

@ddbeck ddbeck left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

My inclination is to comment out the - api.HTMLLIElement items, and add a comment. Objections?

Yes, this is exactly right. Please include the URL for the #1173 in the comment. Look at audio.yml or json-modules.yml, if you want an example to copy from.

I've also offered up a revised description, if you'd like to apply that alone or with the comment.

Approved, provided both of the changes are dealt with. Thank you!

features/menu.yml Outdated Show resolved Hide resolved
@petele petele enabled auto-merge August 13, 2024 14:12
@petele petele merged commit 5a92f11 into web-platform-dx:main Aug 13, 2024
3 checks passed
@petele petele deleted the elem-menu branch August 14, 2024 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature definition Creating or defining new features or groups of features.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants