| Index: lib/dom/templates/html/interface/interface_WebSocket.darttemplate
|
| diff --git a/lib/dom/templates/html/interface/interface_WebSocket.darttemplate b/lib/dom/templates/html/interface/interface_WebSocket.darttemplate
|
| index eab5ac059d69c5178d20d2923f42f1b3506a4e5a..3c93617623cafecdbbdcde96aaaba39753da575e 100644
|
| --- a/lib/dom/templates/html/interface/interface_WebSocket.darttemplate
|
| +++ b/lib/dom/templates/html/interface/interface_WebSocket.darttemplate
|
| @@ -4,6 +4,7 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| +$!COMMENT
|
| interface $ID$EXTENDS default _$(ID)FactoryProvider {
|
|
|
| $ID(String url);
|
|
|