| Index: client/dom/generated/src/interface/Worker.dart
|
| diff --git a/client/dom/generated/src/interface/Worker.dart b/client/dom/generated/src/interface/Worker.dart
|
| index 057577cb5e768bc1390bc0a8007ed9f2ed11031d..0cd8d4c23bec1727e77d8c9253a378559800f3b1 100644
|
| --- a/client/dom/generated/src/interface/Worker.dart
|
| +++ b/client/dom/generated/src/interface/Worker.dart
|
| @@ -4,7 +4,9 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface Worker extends AbstractWorker {
|
| +interface Worker extends AbstractWorker default _WorkerFactoryProvider {
|
| +
|
| + Worker(String scriptUrl);
|
|
|
| void postMessage(Dynamic message, [List messagePorts]);
|
|
|
|
|