| Index: public/platform/Platform.h
|
| diff --git a/public/platform/Platform.h b/public/platform/Platform.h
|
| index ba29cdc917c98a608e47829834f868a84e89741f..125115667a3d064310526cfddef382117aeeaa7f 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;
|
| @@ -376,9 +375,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.
|
|
|