| Index: client/dom/templates/html/frog/factoryprovider_SharedWorker.darttemplate
|
| diff --git a/client/html/generated/html/interface/AudioElement.dart b/client/dom/templates/html/frog/factoryprovider_SharedWorker.darttemplate
|
| similarity index 51%
|
| copy from client/html/generated/html/interface/AudioElement.dart
|
| copy to client/dom/templates/html/frog/factoryprovider_SharedWorker.darttemplate
|
| index 42a2a861a2bd9563c017d6b0ab2cf33bcb0d6d3e..339a38277aa310fe358b0612dfffddec82871589 100644
|
| --- a/client/html/generated/html/interface/AudioElement.dart
|
| +++ b/client/dom/templates/html/frog/factoryprovider_SharedWorker.darttemplate
|
| @@ -2,7 +2,9 @@
|
| // 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 $FACTORYPROVIDER {
|
| + factory SharedWorker(String scriptURL, [String name]) native '''
|
| + if (name == null) return new SharedWorker(scriptURL);
|
| + return new SharedWorker(scriptURL, name);
|
| + ''';
|
| }
|
|
|