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