From 8cc7f5c24259d7a96efc6d1a99f3d25f60f3e7be Mon Sep 17 00:00:00 2001
From: Max Schaefer <max@semmle.com>
Date: Mon, 1 Oct 2018 08:50:53 +0100
Subject: [PATCH] JavaScript: Update model of `DOMException`.

cf. https://developer.mozilla.org/en-US/docs/Web/API/DOMException/DOMException
---
 javascript/externs/web/w3c_dom1.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/javascript/externs/web/w3c_dom1.js b/javascript/externs/web/w3c_dom1.js
index 6f43c00a3efc..bf85793fec6b 100644
--- a/javascript/externs/web/w3c_dom1.js
+++ b/javascript/externs/web/w3c_dom1.js
@@ -25,9 +25,11 @@
 
 /**
  * @constructor
+ * @param {string=} message
+ * @param {string=} message
  * @see http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001/level-one-core.html#ID-17189187
  */
-function DOMException() {}
+function DOMException(message, name) {}
 
 /**
  * @type {number}