JavaScript: Update model of `DOMException`.
JavaScript: Update model of `DOMException`.

cf. https://developer.mozilla.org/en-US/docs/Web/API/DOMException/DOMException

github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql,github/codeql