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