Index: client/dom/generated/src/frog/HTMLSourceElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLSourceElement.dart b/client/dom/generated/src/frog/HTMLSourceElement.dart |
index 21cce2312e5d80fa55e51dfa54ae19289b70c2e1..b7bcb8ac47d5dbdd78cf112cea872cbcb8603c53 100644 |
--- a/client/dom/generated/src/frog/HTMLSourceElement.dart |
+++ b/client/dom/generated/src/frog/HTMLSourceElement.dart |
@@ -1,5 +1,5 @@ |
-class HTMLSourceElement extends HTMLElement native "*HTMLSourceElement" { |
+class HTMLSourceElementJS extends HTMLElementJS implements HTMLSourceElement native "*HTMLSourceElement" { |
String get media() native "return this.media;"; |