From 50a7111eb65155fc7a0bdb1646c4a2e0ebdd8f90 Mon Sep 17 00:00:00 2001
From: Gregory Terzian <gterzian@users.noreply.github.com>
Date: Sun, 17 Nov 2019 14:37:45 +0800
Subject: impl timer-task-source, dedicated time-out mechanism for
 service-worker

---
 components/script/task_source/mod.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'components/script/task_source/mod.rs')

diff --git a/components/script/task_source/mod.rs b/components/script/task_source/mod.rs
index d315b34fcae..7defd922779 100644
--- a/components/script/task_source/mod.rs
+++ b/components/script/task_source/mod.rs
@@ -10,6 +10,7 @@ pub mod networking;
 pub mod performance_timeline;
 pub mod port_message;
 pub mod remote_event;
+pub mod timer;
 pub mod user_interaction;
 pub mod websocket;
 
@@ -34,6 +35,7 @@ pub enum TaskSourceName {
     RemoteEvent,
     MediaElement,
     Websocket,
+    Timer,
 }
 
 impl TaskSourceName {
-- 
cgit v1.2.3