| 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 30192bf145d0968dd520164b51220c873edd4c54..a586de4beeb4321f7556c323a220a90cf24ad5f6 100644
|
| --- a/third_party/WebKit/public/platform/Platform.h
|
| +++ b/third_party/WebKit/public/platform/Platform.h
|
| @@ -138,6 +138,9 @@ public:
|
| static void shutdown();
|
| static Platform* current();
|
|
|
| + // Used to switch the current platform only for testing.
|
| + static void setCurrentPlatformForTesting(Platform*);
|
| +
|
| // May return null.
|
| virtual WebCookieJar* cookieJar() { return nullptr; }
|
|
|
|
|