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

Update interfaces/push-api.idl #17826

Merged
merged 1 commit into from Jul 30, 2019

Conversation

autofoolip
Copy link
Contributor

@autofoolip autofoolip commented Jul 14, 2019

This PR was automatically created by a bot.

Before merging, please check that any tests that depend on the updated IDL files still work.

If additional changes are needed, please manually create another PR based on this one.

See the README for how the IDL files in this directory are used.


Source: https://github.com/tidoust/reffy-reports/blob/52f31b9/whatwg/idl/push-api.idl
Build: https://travis-ci.org/tidoust/reffy-reports/builds/563479802

@foolip
Copy link
Member

foolip commented Jul 14, 2019

Test needs updating to fix one regression.

@lukebjerring
Copy link
Contributor

This change looks wrong; THe interface isn't deleted.
https://w3c.github.io/push-api/#pushmanager-interface

@lukebjerring
Copy link
Contributor

At a guess based on timing and the interfaces that reffy-reports has dropped, this change caused it:
w3c/push-api@9179964

Perhaps the default syntax isn't valid IDL according to reffy-reports? @tidoust - any idea?

@lukebjerring
Copy link
Contributor

Filed w3c/webref#34

@foolip
Copy link
Member

foolip commented Jul 30, 2019

The changes look sensible now, and no change in results (checked Firefox).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants