| Index: client/dom/generated/src/interface/HTMLMediaElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLMediaElement.dart b/client/dom/generated/src/interface/HTMLMediaElement.dart
|
| index 30f2e5abf17820ba6342047a34fb250ea85b60c4..4a2368d16be02e9732a03494a9da656426c40719 100644
|
| --- a/client/dom/generated/src/interface/HTMLMediaElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLMediaElement.dart
|
| @@ -6,6 +6,12 @@
|
|
|
| interface HTMLMediaElement extends HTMLElement {
|
|
|
| + 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;
|
| @@ -24,6 +30,12 @@ interface HTMLMediaElement extends HTMLElement {
|
|
|
| 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 get autoplay();
|
|
|
| void set autoplay(bool value);
|
| @@ -102,12 +114,18 @@ interface HTMLMediaElement extends HTMLElement {
|
|
|
| bool get webkitHasClosedCaptions();
|
|
|
| + String get webkitMediaSourceURL();
|
| +
|
| bool get webkitPreservesPitch();
|
|
|
| void set webkitPreservesPitch(bool value);
|
|
|
| + int get webkitSourceState();
|
| +
|
| int get webkitVideoDecodedByteCount();
|
|
|
| + TextTrack addTrack(String kind, [String label, String language]);
|
| +
|
| String canPlayType(String type);
|
|
|
| void load();
|
| @@ -115,4 +133,8 @@ interface HTMLMediaElement extends HTMLElement {
|
| void pause();
|
|
|
| void play();
|
| +
|
| + void webkitSourceAppend(Uint8Array data);
|
| +
|
| + void webkitSourceEndOfStream(int status);
|
| }
|
|
|