| Index: client/dom/templates/dom/interface/interface_WebSocket.darttemplate
|
| diff --git a/client/dom/templates/dom/interface/interface_WebSocket.darttemplate b/client/dom/templates/dom/interface/interface_WebSocket.darttemplate
|
| index 29035627f8313e16f02f813e6839081982e3ab22..f45fdf752785a85e4ce4b1532caabb95421abd09 100644
|
| --- a/client/dom/templates/dom/interface/interface_WebSocket.darttemplate
|
| +++ b/client/dom/templates/dom/interface/interface_WebSocket.darttemplate
|
| @@ -4,7 +4,7 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface WebSocket$!EXTENDS default _WebSocketFactoryProvider {
|
| +interface WebSocket$EXTENDS default _WebSocketFactoryProvider {
|
|
|
| WebSocket(String url);
|
| $!MEMBERS}
|
|
|