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

Merged
merged 1 commit into from
Jun 24, 2024

Conversation

autokagami
Copy link
Contributor

@autokagami autokagami commented Jun 24, 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 handwriting-recognition,2, inside `interface HandwritingRecognizer`:
    interface HandwritingRecognizer {
              ^
    

    Error: Interfaces must have [Exposed] extended attribute. To fix, add, for example, [Exposed=Window]. Please also consider carefully if your interface should also be exposed in a Worker scope. Refer to the WebIDL spec section on Exposed for more information.

  • Validation error at line 3 in handwriting-recognition,3, inside `interface HandwritingDrawing`:
    interface HandwritingDrawing {
              ^
    

    Error: Interfaces must have [Exposed] extended attribute. To fix, add, for example, [Exposed=Window]. Please also consider carefully if your interface should also be exposed in a Worker scope. Refer to the WebIDL spec section on Exposed 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.


Preview | Diff

@wacky6 wacky6 merged commit 498e365 into WICG:main Jun 24, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants