Skip to content

/ servo

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

script: Fix integer-JSID handling in named getters. #18543

Merged
merged 3 commits into from Sep 18, 2017
Merged

script: Fix integer-JSID handling in named getters. #18543

merged 3 commits into from Sep 18, 2017
+32 −96

Commits on Sep 18, 2017

  1. script: Fix integer-JSID handling in named getters. 

    Fixes #10686
    @emilio
    emilio committed Sep 18, 2017
    Unverified
    This user has not uploaded their public key yet.
    GPG key ID: 056B727BB9C1027C Learn about signing commits
    f5d16fc

  2. script: remove unused function.

    @emilio
    emilio committed Sep 18, 2017
    Unverified
    This user has not uploaded their public key yet.
    GPG key ID: 056B727BB9C1027C Learn about signing commits
    6edefb8

  3. script: Properly implement LegacyPlatformGetOwnProperty in WebIDL. 

    We were missing the "ignoreNamedProperties" bit, which my previous patch
uncovers.
    @emilio
    emilio committed Sep 18, 2017
    Loading status checks…
    Unverified
    This user has not uploaded their public key yet.
    GPG key ID: 056B727BB9C1027C Learn about signing commits
    90fb284
You can’t perform that action at this time.