Index: client/html/generated/html/interface/EventSource.dart |
diff --git a/client/html/generated/html/interface/EventSource.dart b/client/html/generated/html/interface/EventSource.dart |
index 1487cebc483ba3c74f6c89fb2d1a0da8d74320bc..fc52a5b238f6d735d5138d22d91bc622c56dc510 100644 |
--- a/client/html/generated/html/interface/EventSource.dart |
+++ b/client/html/generated/html/interface/EventSource.dart |
@@ -8,6 +8,8 @@ interface EventSource extends EventTarget default _EventSourceFactoryProvider { |
EventSource(String scriptUrl); |
+ EventSourceEvents get on(); |
+ |
static final int CLOSED = 2; |
static final int CONNECTING = 0; |
@@ -20,8 +22,6 @@ interface EventSource extends EventTarget default _EventSourceFactoryProvider { |
final String url; |
- EventSourceEvents get on(); |
- |
void _addEventListener(String type, EventListener listener, [bool useCapture]); |
void close(); |