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