Merge pull request #249 from majames/fix/htmlmediaelement-returns-promise

Updated HTMLMediaElement.play return type to Promise<void>

Author: mhegazy

baselines/dom.generated.d.ts

@@ -5725,7 +5725,7 @@ interface HTMLMediaElement extends HTMLElement {
     /**
       * Loads and starts playback of a media resource.
       */
-    play(): void;
+    play(): Promise<void>;
     setMediaKeys(mediaKeys: MediaKeys | null): Promise<void>;
     readonly HAVE_CURRENT_DATA: number;
     readonly HAVE_ENOUGH_DATA: number;

inputfiles/overridingTypes.json

@@ -1094,5 +1094,13 @@
         "signatures": [
             "new(data?: string): Text"
         ]
+    },
+    {
+        "kind": "method",
+        "interface": "HTMLMediaElement",
+        "name": "play",
+        "signatures": [
+            "play(): Promise<void>"
+        ]
     }
  ]