| 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.
|
|
|