| Index: client/dom/generated/src/interface/MediaList.dart
|
| diff --git a/client/dom/generated/src/interface/MediaList.dart b/client/dom/generated/src/interface/MediaList.dart
|
| index a163137b53cde370745918311b2110b6e07f6d62..e165a69259d85f361617e2002fbfa50f58270e77 100644
|
| --- a/client/dom/generated/src/interface/MediaList.dart
|
| +++ b/client/dom/generated/src/interface/MediaList.dart
|
| @@ -6,11 +6,9 @@
|
|
|
| interface MediaList extends List<String> {
|
|
|
| - int get length();
|
| + final int length;
|
|
|
| - String get mediaText();
|
| -
|
| - void set mediaText(String value);
|
| + String mediaText;
|
|
|
| void appendMedium(String newMedium);
|
|
|
|
|