| Index: client/html/dartium/html_dartium.dart
|
| diff --git a/client/html/dartium/html_dartium.dart b/client/html/dartium/html_dartium.dart
|
| index d5143b7a9ea00450345765791487d6fc95eaaf00..61082dd47d042a7f617fb846e63d061803cc54ca 100644
|
| --- a/client/html/dartium/html_dartium.dart
|
| +++ b/client/html/dartium/html_dartium.dart
|
| @@ -29374,7 +29374,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.
|
|
|
| @@ -34659,7 +34659,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();
|
|
|
| @@ -36340,6 +36342,11 @@ class _PointFactoryProvider {
|
|
|
| factory Point(num x, num y) => _wrap(new dom.WebKitPoint(x, y));
|
| }
|
| +
|
| +class _WebSocketFactoryProvider {
|
| +
|
| + factory WebSocket(String url) => _wrap(new new dom.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.
|
|
|