Index: client/html/generated/html/interface/WorkerLocation.dart |
diff --git a/client/dom/templates/interface.darttemplate b/client/html/generated/html/interface/WorkerLocation.dart |
similarity index 51% |
copy from client/dom/templates/interface.darttemplate |
copy to client/html/generated/html/interface/WorkerLocation.dart |
index 4e092a52e6f8755ebae6d8b72e5ccd9873a6dca2..ef22c2a6a072af7c1943b23a78fd736c3b6d85ea 100644 |
--- a/client/dom/templates/interface.darttemplate |
+++ b/client/html/generated/html/interface/WorkerLocation.dart |
@@ -4,5 +4,23 @@ |
// WARNING: Do not edit - generated code. |
-interface $ID$!EXTENDS { |
-$!MEMBERS} |
+interface WorkerLocation { |
+ |
+ final String hash; |
+ |
+ final String host; |
+ |
+ final String hostname; |
+ |
+ final String href; |
+ |
+ final String pathname; |
+ |
+ final String port; |
+ |
+ final String protocol; |
+ |
+ final String search; |
+ |
+ String toString(); |
+} |