• 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