moving documentElement to dom, reordering properties

Author: saschanaz

inputfiles/patches/dom.kdl

@@ -12,63 +12,56 @@ interface EventListenerObject noInterfaceObject=#true {
 }
 
 interface Document {
-  property anchors nullable=#false {
-    type HTMLCollectionOf {
-      type HTMLAnchorElement
-    }
+  // Pre-TS-5.1 hack to make document.location assignable
+  property location readonly=#false {
+    // Technically this can be null for a detached iframe.
+    // But that's an edge case and flipping this also breaks compatibility.
+    type nullable=#false
   }
 
+  // Similarly body and head are mostly non-null for HTML documents.
+  // body can frequently be null when executing scripts in head, but flipping
+  // it also breaks compatibiliity.
   property body {
     type nullable=#false
   }
-
-  property documentElement {
-    type HTMLElement nullable=#false
+  property head {
+    type nullable=#false
   }
 
-  property embeds nullable=#false {
+  // More specific types for HTMLCollection properties
+  property anchors {
+    type HTMLCollectionOf {
+      type HTMLAnchorElement
+    }
+  }
+  property embeds {
     type HTMLCollectionOf {
       type HTMLEmbedElement
     }
   }
-
-  property forms nullable=#false {
+  property forms {
     type HTMLCollectionOf {
       type HTMLFormElement
     }
   }
-
-  property head {
-    type nullable=#false
-  }
-
-  property images nullable=#false {
+  property images {
     type HTMLCollectionOf {
       type HTMLImageElement
     }
   }
-
-  property links nullable=#false {
+  property links {
     type HTMLCollectionOf {
       type HTMLAnchorElement
       type HTMLAreaElement
     }
   }
-
-  // Pre-TS-5.1 hack to make document.location assignable
-  property location readonly=#false {
-    // Technically this can be null for a detached iframe.
-    // But that's an edge case and flipping this also breaks compatibility.
-    type nullable=#false
-  }
-
-  property plugins nullable=#false {
+  property plugins {
     type HTMLCollectionOf {
       type HTMLEmbedElement
     }
   }
-
-  property scripts nullable=#false {
+  property scripts {
     type HTMLCollectionOf {
       type HTMLScriptElement
     }