| Index: client/dom/generated/src/frog/HTMLVideoElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLVideoElement.dart b/client/dom/generated/src/frog/HTMLVideoElement.dart
|
| deleted file mode 100644
|
| index 264c319cacf317627e352244254e9f410e9834e5..0000000000000000000000000000000000000000
|
| --- a/client/dom/generated/src/frog/HTMLVideoElement.dart
|
| +++ /dev/null
|
| @@ -1,29 +0,0 @@
|
| -
|
| -class _HTMLVideoElementJs extends _HTMLMediaElementJs implements HTMLVideoElement native "*HTMLVideoElement" {
|
| -
|
| - int height;
|
| -
|
| - String poster;
|
| -
|
| - final int videoHeight;
|
| -
|
| - final int videoWidth;
|
| -
|
| - final int webkitDecodedFrameCount;
|
| -
|
| - final bool webkitDisplayingFullscreen;
|
| -
|
| - final int webkitDroppedFrameCount;
|
| -
|
| - final bool webkitSupportsFullscreen;
|
| -
|
| - int width;
|
| -
|
| - void webkitEnterFullScreen() native;
|
| -
|
| - void webkitEnterFullscreen() native;
|
| -
|
| - void webkitExitFullScreen() native;
|
| -
|
| - void webkitExitFullscreen() native;
|
| -}
|
|
|