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

customElements.getName #785

Closed
keithamus opened this issue Apr 23, 2023 · 2 comments
Closed

customElements.getName #785

keithamus opened this issue Apr 23, 2023 · 2 comments

Comments

@keithamus
Copy link

keithamus commented Apr 23, 2023

Request for Mozilla Position on an Emerging Web Specification

Other information

This was a proposed addition to the customElements spec by the WCCG, during their spring F2F, @smaug---- & @zcorpan were in attendance. See WICG/webcomponents#566 for more on the problem/solution.

WebKit has landed a patch for this: WebKit/WebKit#13053
Chrome has landed a patch for this: https://chromium-review.googlesource.com/c/chromium/src/+/4466232
I've written a patch for Gecko: https://phabricator.services.mozilla.com/D181646

@zcorpan
Copy link
Member

zcorpan commented Jun 22, 2023

I think this is reasonable, suggest positive. @smaug---- WDYT?

@smaug----
Copy link
Collaborator

Oh sorry, I thought I had responded here already. Yes, looks reasonable minor addition.

@zcorpan zcorpan closed this as completed Jun 22, 2023
@zcorpan zcorpan changed the title Request for position: customElements.getName customElements.getName Oct 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants