Chromium Code Reviews| Index: client/dom/frog/frog_dom.dart |
| diff --git a/client/dom/frog/frog_dom.dart b/client/dom/frog/frog_dom.dart |
| index 469fb558f29c8500643b1fcc4762858646771e8a..de495b37a2b428342dcbc7cb137b475b124c8516 100644 |
| --- a/client/dom/frog/frog_dom.dart |
| +++ b/client/dom/frog/frog_dom.dart |
| @@ -10659,6 +10659,8 @@ class WebKitTransitionEvent extends Event native "*WebKitTransitionEvent" { |
| } |
| class WebSocket native "*WebSocket" { |
| + WebSocket(String url) native; |
| + |
| static final int CLOSED = 3; |