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;"; |