| Index: public/platform/Platform.h
|
| diff --git a/public/platform/Platform.h b/public/platform/Platform.h
|
| index ad4a04ab522b4e815f2d38df223f549c61dee3d8..e2c461e28f2337594c3abab3a3e45f3a56713dd0 100644
|
| --- a/public/platform/Platform.h
|
| +++ b/public/platform/Platform.h
|
| @@ -98,7 +98,6 @@ class WebPushProvider;
|
| class WebRTCPeerConnectionHandler;
|
| class WebRTCPeerConnectionHandlerClient;
|
| class WebSandboxSupport;
|
| -class WebScheduler;
|
| class WebSecurityOrigin;
|
| class WebScrollbarBehavior;
|
| class WebServiceWorkerCacheStorage;
|
| @@ -378,9 +377,6 @@ public:
|
| // Yield the current thread so another thread can be scheduled.
|
| virtual void yieldCurrentThread() { }
|
|
|
| - // May return null.
|
| - virtual WebScheduler* scheduler() { return 0; }
|
| -
|
| // WaitableEvent -------------------------------------------------------
|
|
|
| // Creates an embedder-defined waitable event object.
|
|
|