From f7d959bd17fbb83427a11b39b98b69c48f4b3c2a Mon Sep 17 00:00:00 2001
From: arjunyel <arjunyel@gmail.com>
Date: Thu, 17 Aug 2017 15:28:46 -0500
Subject: [PATCH] Added main, details, and summary

---
 baselines/dom.generated.d.ts | 30 ++++++++++++++++++++++++++++++
 inputfiles/addedTypes.json   | 28 ++++++++++++++++++++++++++++
 2 files changed, 58 insertions(+)

diff --git a/baselines/dom.generated.d.ts b/baselines/dom.generated.d.ts
index 15ba275d5..b83502185 100644
--- a/baselines/dom.generated.d.ts
+++ b/baselines/dom.generated.d.ts
@@ -14232,6 +14232,36 @@ interface HTMLDialogElement extends HTMLElement {
     showModal(): void;
 }
 
+declare var HTMLDialogElement: {
+    prototype: HTMLDialogElement;
+    new(): HTMLDialogElement;
+};
+
+interface HTMLMainElement extends HTMLElement {
+}
+
+declare var HTMLMainElement: {
+    prototype: HTMLMainElement;
+    new(): HTMLMainElement;
+};
+
+interface HTMLDetailsElement extends HTMLElement {
+    open: boolean;
+}
+
+declare var HTMLDetailsElement: {
+    prototype: HTMLDetailsElement;
+    new(): HTMLDetailsElement;
+};
+
+interface HTMLSummaryElement extends HTMLElement {
+}
+
+declare var HTMLSummaryElement: {
+    prototype: HTMLSummaryElement;
+    new(): HTMLSummaryElement;
+};
+
 declare type EventListenerOrEventListenerObject = EventListener | EventListenerObject;
 
 interface DecodeErrorCallback {
diff --git a/inputfiles/addedTypes.json b/inputfiles/addedTypes.json
index cb8e4c04e..7138f0871 100644
--- a/inputfiles/addedTypes.json
+++ b/inputfiles/addedTypes.json
@@ -1703,6 +1703,7 @@
     {
         "kind": "interface",
         "name": "HTMLDialogElement",
+        "constructorSignatures": ["new(): HTMLDialogElement"],
         "extends": "HTMLElement",
         "flavor": "DOM",
         "properties": [
@@ -1736,5 +1737,32 @@
         "name": "redirected",
         "readonly": true,
         "type": "boolean"
+    },
+    {
+        "kind": "interface",
+        "name": "HTMLMainElement",
+        "constructorSignatures": ["new(): HTMLMainElement"],
+        "extends": "HTMLElement",
+        "flavor": "DOM"
+    },
+    {
+        "kind": "interface",
+        "name": "HTMLDetailsElement",
+        "constructorSignatures": ["new(): HTMLDetailsElement"],
+        "extends": "HTMLElement",
+        "flavor": "DOM",
+        "properties": [
+            {
+                "name": "open",
+                "type": "boolean"
+            }
+        ]
+    },
+    {
+        "kind": "interface",
+        "name": "HTMLSummaryElement",
+        "constructorSignatures": ["new(): HTMLSummaryElement"],
+        "extends": "HTMLElement",
+        "flavor": "DOM"
     }
 ]