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