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