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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Give Global an identifier list as required by Web IDL #36

Merged
merged 1 commit into from
Feb 3, 2022

Conversation

foolip
Copy link
Member

@foolip foolip commented Feb 3, 2022

See https://webidl.spec.whatwg.org/#dfn-global-name

This follows the example of DedicatedWorkerGlobalScope:
https://html.spec.whatwg.org/multipage/workers.html#dedicated-workers-and-the-dedicatedworkerglobalscope-interface


馃挜 Error: 500 Internal Server Error 馃挜

PR Preview failed to build. (Last tried on Feb 3, 2022, 9:17 AM UTC).

More

PR Preview relies on a number of web services to run. There seems to be an issue with the following one:

馃毃 Spec Generator - Spec Generator is the web service used to build specs that rely on ReSpec.

馃敆 Related URL

Navigation timeout of 29503 ms exceeded

If you don't have enough information above to solve the error by yourself (or to understand to which web service the error is related to, if any), please file an issue.

@dontcallmedom dontcallmedom merged commit 8b396ce into w3c:main Feb 3, 2022
foolip added a commit to w3c/webref that referenced this pull request Feb 4, 2022
This test will catch situations like this one:
w3c/webrtc-identity#36
@foolip foolip deleted the patch-1 branch February 4, 2022 10:51
tidoust pushed a commit to w3c/webref that referenced this pull request Feb 9, 2022
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.

None yet

2 participants