Index: client/dom/templates/html/interface/interface_NodeList.darttemplate |
diff --git a/client/dom/templates/dom/interface/interface_WebSocket.darttemplate b/client/dom/templates/html/interface/interface_NodeList.darttemplate |
similarity index 64% |
copy from client/dom/templates/dom/interface/interface_WebSocket.darttemplate |
copy to client/dom/templates/html/interface/interface_NodeList.darttemplate |
index 29035627f8313e16f02f813e6839081982e3ab22..d8935f5694abec6ee165e91b711ba5e2103eff43 100644 |
--- a/client/dom/templates/dom/interface/interface_WebSocket.darttemplate |
+++ b/client/dom/templates/html/interface/interface_NodeList.darttemplate |
@@ -4,7 +4,13 @@ |
// WARNING: Do not edit - generated code. |
-interface WebSocket$!EXTENDS default _WebSocketFactoryProvider { |
+interface $ID$EXTENDS { |
- WebSocket(String url); |
-$!MEMBERS} |
+ NodeList filter(bool f(Node element)); |
+ |
+ NodeList getRange(int start, int length); |
+ |
+ Node get first(); |
+ |
+$!MEMBERS |
+} |