1 files changed, 0 insertions, 15 deletions
diff --git a/components/script/script_thread.rs b/components/script/script_thread.rs
index 3d8d5bb1acc..f284e14dd0c 100644
--- a/components/script/script_thread.rs
+++ b/components/script/script_thread.rs
@@ -451,20 +451,12 @@ impl Documents {
             .map(|ref doc| DomRoot::from_ref(&**doc))
     }
 
-    pub fn is_empty(&self) -> bool {
-        self.map.is_empty()
-    }
-
     pub fn find_document(&self, pipeline_id: PipelineId) -> Option<DomRoot<Document>> {
         self.map
             .get(&pipeline_id)
             .map(|doc| DomRoot::from_ref(&**doc))
     }
 
-    pub fn len(&self) -> usize {
-        self.map.len()
-    }
-
     pub fn find_window(&self, pipeline_id: PipelineId) -> Option<DomRoot<Window>> {
         self.find_document(pipeline_id)
             .map(|doc| DomRoot::from_ref(doc.window()))
@@ -824,13 +816,6 @@ impl ScriptThread {
         })
     }
 
-    pub fn invoke_perform_a_microtask_checkpoint() {
-        SCRIPT_THREAD_ROOT.with(|root| {
-            let script_thread = unsafe { &*root.get().unwrap() };
-            script_thread.perform_a_microtask_checkpoint()
-        })
-    }
-
     pub fn page_headers_available(
         id: &PipelineId,
         metadata: Option<Metadata>,