W3C home > Mailing lists > Public > public-script-coord@w3.org > October to December 2014

[Bug 23033] Requesting PermissionDeniedError to be added

From: <bugzilla@jessica.w3.org>
Date: Thu, 09 Oct 2014 15:09:18 +0000
To: public-script-coord@w3.org
Message-ID: <bug-23033-3890-AOXhqRqkw3@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=23033

mvanouwerkerk@chromium.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mvanouwerkerk@chromium.org

--- Comment #9 from mvanouwerkerk@chromium.org ---
I'd like to get this specced somwhere. I'm not in favor of monkey patching this
in the Push API. If IDL is not staffed, it seems better to add it to DOM than
to define it in Push.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
Received on Thursday, 9 October 2014 15:09:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:23 UTC