Index: client/dom/templates/html/frog/factoryprovider_SharedWorker.darttemplate |
diff --git a/client/html/generated/html/interface/AudioElement.dart b/client/dom/templates/html/frog/factoryprovider_SharedWorker.darttemplate |
similarity index 53% |
copy from client/html/generated/html/interface/AudioElement.dart |
copy to client/dom/templates/html/frog/factoryprovider_SharedWorker.darttemplate |
index 42a2a861a2bd9563c017d6b0ab2cf33bcb0d6d3e..b88db0cc3e8e36889d8d790527518f2ca588e20a 100644 |
--- a/client/html/generated/html/interface/AudioElement.dart |
+++ b/client/dom/templates/html/frog/factoryprovider_SharedWorker.darttemplate |
@@ -2,7 +2,10 @@ |
// for details. All rights reserved. Use of this source code is governed by a |
// BSD-style license that can be found in the LICENSE file. |
-// WARNING: Do not edit - generated code. |
- |
-interface AudioElement extends MediaElement { |
+class $FACTORYPROVIDER { |
+ factory SharedWorker(String scriptURL, [String name]) native |
+''' |
+if (name == null) return new SharedWorker(scriptURL); |
+return new SharedWorker(scriptURL, name); |
+'''; |
} |