| 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 7468ed07df90336a7951fa1d44f06d93fa087d6f..6e287451f911e7e3909f0644a46d00d771e7e852 100644
|
| --- a/client/dom/generated/src/interface/EventSource.dart
|
| +++ b/client/dom/generated/src/interface/EventSource.dart
|
| @@ -14,18 +14,6 @@ interface EventSource extends EventTarget {
|
|
|
| String get URL();
|
|
|
| - EventListener get onerror();
|
| -
|
| - void set onerror(EventListener value);
|
| -
|
| - EventListener get onmessage();
|
| -
|
| - void set onmessage(EventListener value);
|
| -
|
| - EventListener get onopen();
|
| -
|
| - void set onopen(EventListener value);
|
| -
|
| int get readyState();
|
|
|
| void addEventListener(String type, EventListener listener, [bool useCapture]);
|
|
|