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