Merge pull request #33 from MattiasBuelens/HTMLMediaElement-readyState

zhengbli · zhengbli · commit 3b35bd0cea6e · 2015-12-21T11:12:24.000-08:00
Override type of HTMLMediaElement.readyState
diff --git a/baselines/dom.generated.d.ts b/baselines/dom.generated.d.ts
@@ -5513,7 +5513,7 @@ interface HTMLMediaElement extends HTMLElement {
       * Gets or sets the current playback position, in seconds.
       */
     preload: string;
-    readyState: any;
+    readyState: number;
     /**
       * Returns a TimeRanges object that represents the ranges of the current media resource that can be seeked.
       */
diff --git a/inputfiles/overridingTypes.json b/inputfiles/overridingTypes.json
@@ -283,5 +283,11 @@
         "interface": "Element",
         "name": "setAttribute",
         "signatures": ["setAttribute(name: string, value: string): void"]
+    },
+    {
+        "kind": "property",
+        "interface": "HTMLMediaElement",
+        "name": "readyState",
+        "type": "number"
     }
 ]

Original file line number	Diff line number	Diff line change
`@@ -283,5 +283,11 @@`
`283`	`283`	`"interface": "Element",`
`284`	`284`	`"name": "setAttribute",`
`285`	`285`	`"signatures": ["setAttribute(name: string, value: string): void"]`
	`286`	`+ },`
	`287`	`+ {`
	`288`	`+ "kind": "property",`
	`289`	`+ "interface": "HTMLMediaElement",`
	`290`	`+ "name": "readyState",`
	`291`	`+ "type": "number"`
`286`	`292`	`}`
`287`	`293`	`]`