Index: client/dom/generated/src/interface/WorkerContext.dart |
diff --git a/client/dom/generated/src/interface/WorkerContext.dart b/client/dom/generated/src/interface/WorkerContext.dart |
index f960908c74f3e106925330d0edbf40bcff477967..ff0b4becfd8d7e35b2e0ab68364e416689da28c8 100644 |
--- a/client/dom/generated/src/interface/WorkerContext.dart |
+++ b/client/dom/generated/src/interface/WorkerContext.dart |
@@ -6,20 +6,18 @@ |
interface WorkerGlobalScope { |
- WorkerLocation location; |
+ final WorkerLocation location; |
- WorkerNavigator navigator; |
+ final WorkerNavigator navigator; |
EventListener onerror; |
- WorkerContext self; |
+ final WorkerContext self; |
final IDBFactory webkitIndexedDB; |
final NotificationCenter webkitNotifications; |
- final DOMURL webkitURL; |
- |
void addEventListener(String type, EventListener listener, [bool useCapture]); |
void clearInterval(int handle); |