| 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));
|
| }
|
|
|