| Index: third_party/WebKit/Source/core/workers/WorkerScriptLoader.h
|
| diff --git a/third_party/WebKit/Source/core/workers/WorkerScriptLoader.h b/third_party/WebKit/Source/core/workers/WorkerScriptLoader.h
|
| index a4e1d5b5ae4553fdc546beecd6a8e51277de7891..cae04263530d19e0aff74cac673489b063ebfe57 100644
|
| --- a/third_party/WebKit/Source/core/workers/WorkerScriptLoader.h
|
| +++ b/third_party/WebKit/Source/core/workers/WorkerScriptLoader.h
|
| @@ -96,7 +96,7 @@ private:
|
| WorkerScriptLoader();
|
| ~WorkerScriptLoader() override;
|
|
|
| - ResourceRequest createResourceRequest();
|
| + ResourceRequest createResourceRequest(ExecutionContext&);
|
| void notifyError();
|
| void notifyFinished();
|
|
|
|
|