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