| Index: third_party/WebKit/public/platform/Platform.h
|
| diff --git a/third_party/WebKit/public/platform/Platform.h b/third_party/WebKit/public/platform/Platform.h
|
| index b6968a9d2210e4251e8e5c42320a168f65099dc8..9f4255d24237419de5c955b333eb6c81aa921d8e 100644
|
| --- a/third_party/WebKit/public/platform/Platform.h
|
| +++ b/third_party/WebKit/public/platform/Platform.h
|
| @@ -55,6 +55,7 @@
|
| #include "WebString.h"
|
| #include "WebURLError.h"
|
| #include "WebVector.h"
|
| +#include "WebWorkerFetchContext.h"
|
| #include "base/metrics/user_metrics_action.h"
|
| #include "cc/resources/shared_bitmap.h"
|
| #include "cc/surfaces/frame_sink_id.h"
|
| @@ -358,6 +359,11 @@ class BLINK_PLATFORM_EXPORT Platform {
|
| return WebURLError();
|
| }
|
|
|
| + virtual std::unique_ptr<WebWorkerFetchContextInfo>
|
| + createWorkerFetchContextInfo() {
|
| + return nullptr;
|
| + }
|
| +
|
| // Plugins -------------------------------------------------------------
|
|
|
| // If refresh is true, then cached information should not be used to
|
|
|