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; |