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