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. |