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

Sync CSSImportRule, CSSMediaRule IDL as per the specification #9407

Merged
merged 1 commit into from
Feb 6, 2018

Conversation

chromium-wpt-export-bot
Copy link
Collaborator

@chromium-wpt-export-bot chromium-wpt-export-bot commented Feb 6, 2018

Modified CSSImportRule, CSSMediaRule IDL files to match the specification.

https://drafts.csswg.org/cssom/#the-cssmediarule-interface
https://drafts.csswg.org/cssom/#the-cssimportrule-interface

Bug: 808004

Change-Id: I1176e3793a35c85442833f938787468b9304cb93
Reviewed-on: https://chromium-review.googlesource.com/896738
Reviewed-by: Kent Tamura tkent@chromium.org
Reviewed-by: Yuki Shiino yukishiino@chromium.org
Reviewed-by: Kentaro Hara haraken@chromium.org
Commit-Queue: Bhagirathi Satpathy bhagirathi.s@samsung.com
Cr-Commit-Position: refs/heads/master@{#534656}

Modified CSSImportRule, CSSMediaRule IDL files to match the specification.

https://drafts.csswg.org/cssom/#the-cssmediarule-interface
https://drafts.csswg.org/cssom/#the-cssimportrule-interface

Bug: 808004

Change-Id: I1176e3793a35c85442833f938787468b9304cb93
Reviewed-on: https://chromium-review.googlesource.com/896738
Reviewed-by: Kent Tamura <tkent@chromium.org>
Reviewed-by: Yuki Shiino <yukishiino@chromium.org>
Reviewed-by: Kentaro Hara <haraken@chromium.org>
Commit-Queue: Bhagirathi Satpathy <bhagirathi.s@samsung.com>
Cr-Commit-Position: refs/heads/master@{#534656}
Copy link
Collaborator

@wpt-pr-bot wpt-pr-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Already reviewed downstream.

@w3c-bots
Copy link

w3c-bots commented Feb 6, 2018

Build PASSED

Started: 2018-02-06 08:18:46
Finished: 2018-02-06 08:29:17

View more information about this build on:

@chromium-wpt-export-bot chromium-wpt-export-bot merged commit 7ad2d22 into master Feb 6, 2018
@chromium-wpt-export-bot chromium-wpt-export-bot deleted the chromium-export-1cfd5c9055 branch February 6, 2018 08:32
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.

4 participants