| Index: client/html/generated/html/interface/VideoElement.dart
 | 
| diff --git a/client/html/generated/html/interface/VideoElement.dart b/client/html/generated/html/interface/VideoElement.dart
 | 
| new file mode 100644
 | 
| index 0000000000000000000000000000000000000000..3d47ed09724ee0dace89b0ec96cbadfb6fe3ac07
 | 
| --- /dev/null
 | 
| +++ b/client/html/generated/html/interface/VideoElement.dart
 | 
| @@ -0,0 +1,34 @@
 | 
| +// 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 VideoElement extends MediaElement {
 | 
| +
 | 
| +  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();
 | 
| +}
 | 
| 
 |