Use the scheduling mechanism provided by the platform

Source/platform/SharedTimer.cpp

Index: Source/platform/SharedTimer.cpp
diff --git a/Source/platform/SharedTimer.cpp b/Source/platform/SharedTimer.cpp
index b0998df726ec00a5e315357dc1dd0effa9ec9465..09efb4911476fa2b9d454bbe04f2331ba23dea4e 100644
--- a/Source/platform/SharedTimer.cpp
+++ b/Source/platform/SharedTimer.cpp
@@ -26,24 +26,23 @@
 #include "config.h"
 #include "platform/SharedTimer.h"
 
-#include "platform/scheduler/Scheduler.h"
 #include "public/platform/Platform.h"
 
 namespace blink {
 
 void setSharedTimerFiredFunction(void (*f)())
 {
-    Scheduler::shared()->setSharedTimerFiredFunction(f);
+    Platform::current()->setSharedTimerFiredFunction(f);
 }
 
 void setSharedTimerFireInterval(double fireTime)
 {
-    Scheduler::shared()->setSharedTimerFireInterval(fireTime);
+    Platform::current()->setSharedTimerFireInterval(fireTime);
 }
 
 void stopSharedTimer()
 {
-    Scheduler::shared()->stopSharedTimer();
+    Platform::current()->stopSharedTimer();
 }
 
 } // namespace blink