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 d84a1757e5557b56141aecb2160797cb78c3eae6..e6a7c5dd7e5fd6938560d40827b6eb67bd3a04db 100644 |
--- a/client/dom/generated/src/frog/HTMLMediaElement.dart |
+++ b/client/dom/generated/src/frog/HTMLMediaElement.dart |
@@ -1,12 +1,6 @@ |
class _HTMLMediaElementJs extends _HTMLElementJs implements HTMLMediaElement 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; |
@@ -25,12 +19,6 @@ class _HTMLMediaElementJs extends _HTMLElementJs implements HTMLMediaElement nat |
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 _TimeRangesJs buffered; |