| Index: client/dom/generated/src/interface/HTMLSourceElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLSourceElement.dart b/client/dom/generated/src/interface/HTMLSourceElement.dart
|
| index e83f71d9bd9907df6dc8421bbeed1c63d27e3455..7810b97239c7f6e2393b86914528eea09026bbad 100644
|
| --- a/client/dom/generated/src/interface/HTMLSourceElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLSourceElement.dart
|
| @@ -6,15 +6,9 @@
|
|
|
| interface HTMLSourceElement extends HTMLElement {
|
|
|
| - String get media();
|
| + String media;
|
|
|
| - void set media(String value);
|
| + String src;
|
|
|
| - String get src();
|
| -
|
| - void set src(String value);
|
| -
|
| - String get type();
|
| -
|
| - void set type(String value);
|
| + String type;
|
| }
|
|
|