| Index: client/html/generated/html/frog/VideoElement.dart
|
| diff --git a/client/html/generated/html/frog/VideoElement.dart b/client/html/generated/html/frog/VideoElement.dart
|
| deleted file mode 100644
|
| index c874304d349c31593a8801201438b256c46af06c..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/frog/VideoElement.dart
|
| +++ /dev/null
|
| @@ -1,29 +0,0 @@
|
| -
|
| -class _VideoElementImpl extends _MediaElementImpl implements VideoElement 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;
|
| -}
|
|
|