[CustomPushEventHandlerScope] is a JSC-specific IDL attribute. We can rename it to [JSCustomPushEventHandlerScope].
Created attachment 125999 [details] Patch
Created attachment 126016 [details] rebased patch for commit
Comment on attachment 126016 [details] rebased patch for commit Clearing flags on attachment: 126016 Committed r107045: <http://trac.webkit.org/changeset/107045>