| 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 53953ff981999d676b4ce270c62f42876c1847d8..1487cebc483ba3c74f6c89fb2d1a0da8d74320bc 100644
|
| --- a/client/html/generated/html/interface/EventSource.dart
|
| +++ b/client/html/generated/html/interface/EventSource.dart
|
| @@ -4,7 +4,9 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface EventSource extends EventTarget {
|
| +interface EventSource extends EventTarget default _EventSourceFactoryProvider {
|
| +
|
| + EventSource(String scriptUrl);
|
|
|
| static final int CLOSED = 2;
|
|
|
|
|