Index: client/html/generated/html/dartium/_SharedWorkerFactoryProvider.dart |
diff --git a/client/html/generated/html/interface/AudioElement.dart b/client/html/generated/html/dartium/_SharedWorkerFactoryProvider.dart |
similarity index 58% |
copy from client/html/generated/html/interface/AudioElement.dart |
copy to client/html/generated/html/dartium/_SharedWorkerFactoryProvider.dart |
index 42a2a861a2bd9563c017d6b0ab2cf33bcb0d6d3e..4680e56b75f7093f860916d2dd99fce36d5037c5 100644 |
--- a/client/html/generated/html/interface/AudioElement.dart |
+++ b/client/html/generated/html/dartium/_SharedWorkerFactoryProvider.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 _SharedWorkerFactoryProvider { |
+ factory SharedWorker(String scriptURL, [String name = null]) => |
+ _wrap(new dom.SharedWorker(scriptURL, name)); |
} |