Add a PermissionDeniedError, update Push API public API

Add a PermissionDeniedError, update Push API public API

The Push API defines that the subscription promise should be rejected
with a DOMException named PermissionDeniedError when no permission
has been granted.

https://w3c.github.io/push-api/#widl-PushManager-subscribe-Promise-PushSubscription--PushSubscriptionOptions-options

While this error code is not formally included in the registry, IDL
is not staffed, and guidance from the spec bug is to just start
using the new name.

https://www.w3.org/Bugs/Public/show_bug.cgi?id=23033

This CL is part of a three-sided patch:
  [1] This CL.
  [2] https://codereview.chromium.org/1316973002/
  [3] https://codereview.chromium.org/1313493003/

BUG=522206
Committed: https://src.chromium.org/viewvc/blink?view=rev&revision=201400

[Peter Beverloo, 2015-08-26 14:37:39]

peter@chromium.org changed reviewers:
+ mvanouwerkerk@chromium.org

[Peter Beverloo, 2015-08-26 14:37:39]

+mvanouwerkerk, before I poke the DOM team

[johnme, 2015-08-27 16:09:08]

johnme@chromium.org changed reviewers:
+ johnme@chromium.org

[johnme, 2015-08-27 16:09:09]

lgtm with nits

https://codereview.chromium.org/1314493008/diff/1/Source/bindings/core/v8/Pri...
File Source/bindings/core/v8/PrivateScriptRunner.js (right):

https://codereview.chromium.org/1314493008/diff/1/Source/bindings/core/v8/Pri...
Source/bindings/core/v8/PrivateScriptRunner.js:64: // Push API
Nit: Shouldn't this be a more generic section? "Permissions"?

Ditto below several times.

Maybe also link to https://www.w3.org/Bugs/Public/show_bug.cgi?id=23033 as well
here.

[Peter Beverloo, 2015-08-27 16:24:31]

peter@chromium.org changed reviewers:
+ haraken@chromium.org

[Peter Beverloo, 2015-08-27 16:24:31]

+haraken, PTAL :)

https://codereview.chromium.org/1314493008/diff/1/Source/bindings/core/v8/Pri...
File Source/bindings/core/v8/PrivateScriptRunner.js (right):

https://codereview.chromium.org/1314493008/diff/1/Source/bindings/core/v8/Pri...
Source/bindings/core/v8/PrivateScriptRunner.js:64: // Push API
On 2015/08/27 16:09:08, johnme wrote:
> Nit: Shouldn't this be a more generic section? "Permissions"?
> 
> Ditto below several times.
> 
> Maybe also link to https://www.w3.org/Bugs/Public/show_bug.cgi?id=23033 as
well
> here.

So far this is Push API specific (though media streams is likely to adopt this
as well). I don't think a comment named permissions is much more useful,
however. I'll see what the owners think.

[haraken, 2015-08-27 23:51:27]

LGTM

I agree that we can update the comment when we actually start using the error
for other purposes.

[Peter Beverloo, 2015-08-28 12:41:40]

The CQ bit was checked by peter@chromium.org

[commit-bot: I haz the power, 2015-08-28 12:41:49]

CQ is trying da patch. Follow status at
 https://chromium-cq-status.appspot.com/patch-status/1314493008/1
View timeline at
 https://chromium-cq-status.appspot.com/patch-timeline/1314493008/1

[commit-bot: I haz the power, 2015-08-28 13:47:16]

Committed patchset #1 (id:1) as
https://src.chromium.org/viewvc/blink?view=rev&revision=201400

[Michael van Ouwerkerk, 2015-09-01 10:01:45]

lgtm