Add a PermissionDeniedError, update Push API public API

Source/bindings/core/v8/PrivateScriptRunner.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 "use strict";
 
 function PrivateScriptController()
 {
     this._installedClasses = {};
     this._DOMException = {};
@@ skipping 42 matching lines @@
         // File system
         "NotReadableError",
         "EncodingError",
         "PathExistsError",
 
         // SQL
         "SQLDatabaseError", // Naming conflict with DatabaseError class.
 
         // Web Crypto
         "OperationError",
+
+        // Push API

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

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]

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.

+        "PermissionDeniedError",
     ];
 
     // This list must be in sync with the enum in ExceptionCode.h. The order matters.
     var jsErrors = [
         "Error",
         "TypeError",
         "RangeError",
         "SyntaxError",
         "ReferenceError",
     ];
@@ skipping 60 matching lines @@
     },
 }
 
 if (typeof window.privateScriptController === 'undefined')
     window.privateScriptController = new PrivateScriptController();
 
 // This line must be the last statement of this JS file.
 // A parenthesis is needed, because the caller of this script (PrivateScriptRunner.cpp)
 // is depending on the completion value of this script.
 (privateScriptController.installedClasses);