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 6e287451f911e7e3909f0644a46d00d771e7e852..c535de4e557025a1ee1e73938b7d3163814c9b58 100644 |
--- a/client/dom/generated/src/interface/EventSource.dart |
+++ b/client/dom/generated/src/interface/EventSource.dart |
@@ -16,6 +16,8 @@ interface EventSource extends EventTarget { |
int get readyState(); |
+ String get url(); |
+ |
void addEventListener(String type, EventListener listener, [bool useCapture]); |
void close(); |