| 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 76c5e1d8fac7a2175b23e6e3218fad01bfe55620..bb93742d6f8a02dca1d881e0d3a715931dedff23 100644
|
| --- a/client/dom/generated/src/frog/HTMLMediaElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLMediaElement.dart
|
| @@ -1,6 +1,24 @@
|
|
|
| class HTMLMediaElement extends HTMLElement native "*HTMLMediaElement" {
|
|
|
| + static final int HAVE_CURRENT_DATA = 2;
|
| +
|
| + static final int HAVE_ENOUGH_DATA = 4;
|
| +
|
| + static final int HAVE_FUTURE_DATA = 3;
|
| +
|
| + static final int HAVE_METADATA = 1;
|
| +
|
| + static final int HAVE_NOTHING = 0;
|
| +
|
| + static final int NETWORK_EMPTY = 0;
|
| +
|
| + static final int NETWORK_IDLE = 1;
|
| +
|
| + static final int NETWORK_LOADING = 2;
|
| +
|
| + static final int NETWORK_NO_SOURCE = 3;
|
| +
|
| bool autoplay;
|
|
|
| TimeRanges buffered;
|
|
|