Add deprecated WebSocket constructor.

sdk/lib/io/websocket.dart

Index: sdk/lib/io/websocket.dart
diff --git a/sdk/lib/io/websocket.dart b/sdk/lib/io/websocket.dart
index 386671da5d4ca2053103cf6fd01cfc3579166bd9..b7cb6318216fd77c08eb9ed32aaacc8c7e801067 100644
--- a/sdk/lib/io/websocket.dart
+++ b/sdk/lib/io/websocket.dart
@@ -133,6 +133,10 @@ abstract class WebSocket implements Stream, StreamSink {
                                    {List<String> protocols: const []}) =>
       _WebSocketImpl.connect(url, protocols);
 
+  @Deprecated('This constructor will be removed in Dart 2.0. Consider using'
+      ' `implements` instead of `extends`.')

[Søren Gjesse, 2014/05/06 08:13:04]

Maybe change

'Consider using `implements` instead of `extends`.'

to something like

'Use `implements` instead of `extends` if implementing this interface.'

[Anders Johnsen, 2014/05/06 08:17:04]

Done.

+  WebSocket();
+
   /**
    * Creates a WebSocket from an already-upgraded socket.
    *