Index: client/html/generated/html/interface/MediaElement.dart |
diff --git a/client/html/generated/html/interface/MediaElement.dart b/client/html/generated/html/interface/MediaElement.dart |
index 2bc9adba96afff78d68d4672e93c1f53e046654a..30791a35d7188e053bef48711869b2c97ba3a400 100644 |
--- a/client/html/generated/html/interface/MediaElement.dart |
+++ b/client/html/generated/html/interface/MediaElement.dart |
@@ -6,12 +6,6 @@ |
interface MediaElement extends Element { |
- 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 MediaElement extends Element { |
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; |