| 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 563ecc96f39e3d7ca6851a595281faa2e35c237c..21cce2312e5d80fa55e51dfa54ae19289b70c2e1 100644
|
| --- a/client/dom/generated/src/frog/HTMLSourceElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLSourceElement.dart
|
| @@ -1,9 +1,15 @@
|
|
|
| class HTMLSourceElement extends HTMLElement native "*HTMLSourceElement" {
|
|
|
| - String media;
|
| + String get media() native "return this.media;";
|
|
|
| - String src;
|
| + void set media(String value) native "this.media = value;";
|
|
|
| - String type;
|
| + String get src() native "return this.src;";
|
| +
|
| + void set src(String value) native "this.src = value;";
|
| +
|
| + String get type() native "return this.type;";
|
| +
|
| + void set type(String value) native "this.type = value;";
|
| }
|
|
|