Index: client/dom/generated/src/interface/HTMLVideoElement.dart |
diff --git a/client/dom/generated/src/interface/HTMLVideoElement.dart b/client/dom/generated/src/interface/HTMLVideoElement.dart |
deleted file mode 100644 |
index 9f42a74fa18536d757564575decff99a4003e0f5..0000000000000000000000000000000000000000 |
--- a/client/dom/generated/src/interface/HTMLVideoElement.dart |
+++ /dev/null |
@@ -1,34 +0,0 @@ |
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-// WARNING: Do not edit - generated code. |
- |
-interface HTMLVideoElement extends HTMLMediaElement { |
- |
- 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(); |
- |
- void webkitEnterFullscreen(); |
- |
- void webkitExitFullScreen(); |
- |
- void webkitExitFullscreen(); |
-} |