| Index: client/dom/generated/src/interface/DOMPlugin.dart
|
| diff --git a/client/dom/generated/src/interface/DOMPlugin.dart b/client/dom/generated/src/interface/DOMPlugin.dart
|
| index 9579ddcd82c0818c85a5e4d8f46e218eb9cc6857..318063100b4838dcdd4c14dc1e739286a7e81e6f 100644
|
| --- a/client/dom/generated/src/interface/DOMPlugin.dart
|
| +++ b/client/dom/generated/src/interface/DOMPlugin.dart
|
| @@ -6,13 +6,13 @@
|
|
|
| interface DOMPlugin {
|
|
|
| - String get description();
|
| + final String description;
|
|
|
| - String get filename();
|
| + final String filename;
|
|
|
| - int get length();
|
| + final int length;
|
|
|
| - String get name();
|
| + final String name;
|
|
|
| DOMMimeType item(int index);
|
|
|
|
|