| Index: client/dom/generated/src/frog/HTMLMediaElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLMediaElement.dart b/client/dom/generated/src/frog/HTMLMediaElement.dart
|
| index d63acf0b8aa2b87b649c1ac47a5d46bde5df4159..1b51797675c988ce7bf7e9d7f324a53d2bc5c7f7 100644
|
| --- a/client/dom/generated/src/frog/HTMLMediaElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLMediaElement.dart
|
| @@ -1,6 +1,12 @@
|
|
|
| class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" {
|
|
|
| + static final int EOS_DECODE_ERR = 2;
|
| +
|
| + static final int EOS_NETWORK_ERR = 1;
|
| +
|
| + static final int EOS_NO_ERROR = 0;
|
| +
|
| static final int HAVE_CURRENT_DATA = 2;
|
|
|
| static final int HAVE_ENOUGH_DATA = 4;
|
| @@ -19,6 +25,12 @@ class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" {
|
|
|
| static final int NETWORK_NO_SOURCE = 3;
|
|
|
| + static final int SOURCE_CLOSED = 0;
|
| +
|
| + static final int SOURCE_ENDED = 2;
|
| +
|
| + static final int SOURCE_OPEN = 1;
|
| +
|
| bool autoplay;
|
|
|
| TimeRanges buffered;
|
| @@ -73,10 +85,16 @@ class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" {
|
|
|
| bool webkitHasClosedCaptions;
|
|
|
| + String webkitMediaSourceURL;
|
| +
|
| bool webkitPreservesPitch;
|
|
|
| + int webkitSourceState;
|
| +
|
| int webkitVideoDecodedByteCount;
|
|
|
| + TextTrack addTrack(String kind, [String label = null, String language = null]) native;
|
| +
|
| String canPlayType(String type) native;
|
|
|
| void load() native;
|
| @@ -84,4 +102,8 @@ class HTMLMediaElement extends HTMLElement native "HTMLMediaElement" {
|
| void pause() native;
|
|
|
| void play() native;
|
| +
|
| + void webkitSourceAppend(Uint8Array data) native;
|
| +
|
| + void webkitSourceEndOfStream(int status) native;
|
| }
|
|
|