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

Editorial: Align with Web IDL specification #64

Merged
merged 1 commit into from
Apr 22, 2021

Conversation

autokagami
Copy link
Contributor

@autokagami autokagami commented Aug 18, 2020

🤖 This is an automated pull request to align the spec with the latest Web IDL specification. 🤖

The followings are the Web IDL validation messages, which may help understanding this PR:

  • Validation error at line 3 in DOM-Parsing,2:
          [CEReactions] void insertAdjacentHTML(DOMString position
                        ^
    

    Error: void is now replaced by undefined. Refer to the relevant GitHub issue for more information.

Currently this autofix might introduce awkward code formatting, and feel free to manually fix it whenever it happens.

Please file an issue at https://github.com/saschanaz/webidl-updater/issues/new if you think this is invalid or should be enhanced.

@foolip
Copy link
Member

foolip commented Apr 1, 2021

@travisleithead can you review/merge this? We're getting pretty close to no specs remaining using void now, only 13 remain :)

@domenic
Copy link
Collaborator

domenic commented Apr 1, 2021

Hmm I used to have write access to this repo; I guess not anymore.

@travisleithead
Copy link
Member

Looks like I don't have merge access either 😥. Hmm..

@saschanaz
Copy link
Member

@marcoscaceres Do you have the access? 👀

@marcoscaceres
Copy link
Member

Not sure what happened... I've restored admin for @travisleithead and gave @domenic maintainer access too.

@marcoscaceres marcoscaceres merged commit b43b23b into w3c:gh-pages Apr 22, 2021
dontcallmedom added a commit to w3c/webref that referenced this pull request Apr 22, 2021
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.

6 participants