| 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
|
| index 14445e867d8e426ab4a94f589ca397768bc869ca..eec52d572603ff31d5484d17e752011962cdc364 100644
|
| --- a/client/dom/generated/src/frog/HTMLVideoElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLVideoElement.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class HTMLVideoElementJS extends HTMLMediaElementJS implements HTMLVideoElement native "*HTMLVideoElement" {
|
| +class HTMLVideoElementJs extends HTMLMediaElementJs implements HTMLVideoElement native "*HTMLVideoElement" {
|
|
|
| int get height() native "return this.height;";
|
|
|
|
|