Index: client/html/generated/html/frog/_WorkerFactoryProvider.dart |
diff --git a/client/html/generated/html/interface/AudioElement.dart b/client/html/generated/html/frog/_WorkerFactoryProvider.dart |
similarity index 65% |
copy from client/html/generated/html/interface/AudioElement.dart |
copy to client/html/generated/html/frog/_WorkerFactoryProvider.dart |
index 42a2a861a2bd9563c017d6b0ab2cf33bcb0d6d3e..5628410dee822c6ae93c4d8538666a78b612e202 100644 |
--- a/client/html/generated/html/interface/AudioElement.dart |
+++ b/client/html/generated/html/frog/_WorkerFactoryProvider.dart |
@@ -2,7 +2,7 @@ |
// 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 _WorkerFactoryProvider { |
+ factory Worker(String scriptUrl) native |
+ '''return new Worker(scriptUrl);'''; |
} |