Index: client/dom/generated/src/interface/EventSource.dart |
diff --git a/client/dom/generated/src/interface/EventSource.dart b/client/dom/generated/src/interface/EventSource.dart |
index c535de4e557025a1ee1e73938b7d3163814c9b58..1eb522c2ae39c97752847aec4de0cb3ef1879c6c 100644 |
--- a/client/dom/generated/src/interface/EventSource.dart |
+++ b/client/dom/generated/src/interface/EventSource.dart |
@@ -12,11 +12,11 @@ interface EventSource extends EventTarget { |
static final int OPEN = 1; |
- String get URL(); |
+ final String URL; |
- int get readyState(); |
+ final int readyState; |
- String get url(); |
+ final String url; |
void addEventListener(String type, EventListener listener, [bool useCapture]); |