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