Index: client/html/frog/html_frog.dart |
diff --git a/client/html/frog/html_frog.dart b/client/html/frog/html_frog.dart |
index 5eca8f8f762a9127c519082f77a9d11e2b30d33a..410121dac94a99512f0d67839a3bcf11686bb6d4 100644 |
--- a/client/html/frog/html_frog.dart |
+++ b/client/html/frog/html_frog.dart |
@@ -23995,7 +23995,7 @@ interface PerformanceTiming { |
final int unloadEventStart; |
} |
-// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
+// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
// for details. All rights reserved. Use of this source code is governed by a |
// BSD-style license that can be found in the LICENSE file. |
@@ -29280,7 +29280,9 @@ interface WebKitNamedFlow { |
// WARNING: Do not edit - generated code. |
-interface WebSocket extends EventTarget { |
+interface WebSocket extends EventTarget default _WebSocketFactoryProvider { |
+ |
+ WebSocket(String url); |
WebSocketEvents get on(); |
@@ -31085,6 +31087,11 @@ class _PointFactoryProvider { |
factory Point(num x, num y) native 'return new WebKitPoint(x, y);'; |
} |
+ |
+class _WebSocketFactoryProvider { |
+ |
+ factory WebSocket(String url) native '''return new WebSocket(url);'''; |
+} |
// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
// for details. All rights reserved. Use of this source code is governed by a |
// BSD-style license that can be found in the LICENSE file. |