Finished porting code from the old html-json docs.

tools/dom/docs/docs.json

Index: tools/dom/docs/docs.json
diff --git a/tools/dom/docs/docs.json b/tools/dom/docs/docs.json
index cbc8a7dae1bdb0849f31919bcba8cd05b7951686..143454fda2e11210e164470270cd769b628cdce0 100644
--- a/tools/dom/docs/docs.json
+++ b/tools/dom/docs/docs.json
@@ -250,6 +250,20 @@
         " */"
       ]
     },
+    "HTMLMenuElement": {
+      "comment": [
+        "/**",
+        " * An HTML <menu> element.",
+        " *",
+        " * A <menu> element represents an unordered list of menu commands.",
+        " *",
+        " * See also:",
+        " *",
+        " *  * [Menu Element](https://developer.mozilla.org/en-US/docs/HTML/Element/menu) from MDN.",
+        " *  * [Menu Element](http://www.w3.org/TR/html5/the-menu-element.html#the-menu-element) from the W3C.",
+        " */"
+      ]
+    },
     "XMLHttpRequest": {
       "members": {
         "abort": [
@@ -281,6 +295,51 @@
           "   * for a list of common response headers.",
           "   */"
         ],
+        "onabort": [
+          "/**",
+          "   * Event listeners to be notified when request has been aborted,",
+          "   * generally due to calling `httpRequest.abort()`.",
+          "   */"
+        ],
+        "onerror": [
+          "/**",
+          "   * Event listeners to be notified when a request has failed, such as when a",
+          "   * cross-domain error occurred or the file wasn't found on the server.",
+          "   */"
+        ],
+        "onload": [
+          "/**",
+          "   * Event listeners to be notified once the request has completed",
+          "   * *successfully*.",
+          "   */"
+        ],
+        "onloadend": [
+          "/**",
+          "   * Event listeners to be notified once the request has completed (on",
+          "   * either success or failure).",
+          "   */"
+        ],
+        "onloadstart": [
+          "/**",
+          "   * Event listeners to be notified when the request starts, once",
+          "   * `httpRequest.send()` has been called.",
+          "   */"
+        ],
+        "onprogress": [
+          "/**",
+          "   * Event listeners to be notified when data for the request",
+          "   * is being sent or loaded.",
+          "   *",
+          "   * Progress events are fired every 50ms or for every byte transmitted,",
+          "   * whichever is less frequent.",
+          "   */"
+        ],
+        "onreadystatechange": [
+          "/**",
+          "   * Event listeners to be notified every time the [HttpRequest]",
+          "   * object's `readyState` changes values.",
+          "   */"
+        ],
         "open": [
           "/**",
           "   * Specify the desired `url`, and `method` to use in making the request.",