| Index: client/dom/generated/src/frog/MediaError.dart
|
| diff --git a/client/dom/generated/src/frog/MediaError.dart b/client/dom/generated/src/frog/MediaError.dart
|
| deleted file mode 100644
|
| index fa7800853470efbdefe7922493ec49f10aefd3c2..0000000000000000000000000000000000000000
|
| --- a/client/dom/generated/src/frog/MediaError.dart
|
| +++ /dev/null
|
| @@ -1,13 +0,0 @@
|
| -
|
| -class _MediaErrorJs extends _DOMTypeJs implements MediaError native "*MediaError" {
|
| -
|
| - static final int MEDIA_ERR_ABORTED = 1;
|
| -
|
| - static final int MEDIA_ERR_DECODE = 3;
|
| -
|
| - static final int MEDIA_ERR_NETWORK = 2;
|
| -
|
| - static final int MEDIA_ERR_SRC_NOT_SUPPORTED = 4;
|
| -
|
| - final int code;
|
| -}
|
|
|