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 #351

Merged
merged 1 commit into from
Mar 21, 2024

Conversation

autokagami
Copy link
Contributor

@autokagami autokagami commented Mar 20, 2024

🤖 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 media-source-2,8, inside `interface BufferedChangeEvent -> constructor -> argument eventInitDict`:
    (DOMString type, BufferedChangeEventInit eventInitDict);
                                             ^
    

    Error: Dictionary argument must be optional if it has no required fields

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.


Preview | Diff

@tidoust tidoust merged commit 692690d into w3c:main Mar 21, 2024
2 checks passed
github-actions bot added a commit that referenced this pull request Mar 21, 2024
SHA: 692690d
Reason: push, by tidoust

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.

2 participants