| Index: client/html/generated/html/interface/Worker.dart
|
| diff --git a/client/html/generated/html/interface/Worker.dart b/client/html/generated/html/interface/Worker.dart
|
| index 714a81f6ef97f41743c37641238d48c80beffe83..5bd9e7ed3eeeaed6b9b0edeb19671ef6477307c0 100644
|
| --- a/client/html/generated/html/interface/Worker.dart
|
| +++ b/client/html/generated/html/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);
|
|
|
| WorkerEvents get on();
|
|
|
|
|