| 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 04f986c095723677d7e66305b2c675f29defc2a9..8f590b12cb6807cead9db37ac9b9caba022cf94f 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 autoplay;
|
|
|
| final TimeRanges buffered;
|
|
|