Index: client/html/generated/html/dartium/_WorkerFactoryProvider.dart |
diff --git a/client/html/generated/html/interface/AudioElement.dart b/client/html/generated/html/dartium/_WorkerFactoryProvider.dart |
similarity index 66% |
copy from client/html/generated/html/interface/AudioElement.dart |
copy to client/html/generated/html/dartium/_WorkerFactoryProvider.dart |
index 42a2a861a2bd9563c017d6b0ab2cf33bcb0d6d3e..0fa7a21d3d5fc0520370dffda90a2ef782027a90 100644 |
--- a/client/html/generated/html/interface/AudioElement.dart |
+++ b/client/html/generated/html/dartium/_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) => |
+ _wrap(new dom.Worker(scriptUrl)); |
} |