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 8f590b12cb6807cead9db37ac9b9caba022cf94f..04f986c095723677d7e66305b2c675f29defc2a9 100644 |
--- a/client/dom/generated/src/interface/HTMLMediaElement.dart |
+++ b/client/dom/generated/src/interface/HTMLMediaElement.dart |
@@ -6,12 +6,6 @@ |
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; |
@@ -30,12 +24,6 @@ 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; |