From 7bf1944007972f904e72ab43131556170c74578e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fernando=20Jim=C3=A9nez=20Moreno?= <ferjmoreno@gmail.com>
Date: Thu, 25 Oct 2018 13:42:26 +0200
Subject: [PATCH] Rename seek_sync to seek_end

---
 components/script/dom/htmlmediaelement.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs
index 43fdbefa9bd..9aeabaed8b2 100644
--- a/components/script/dom/htmlmediaelement.rs
+++ b/components/script/dom/htmlmediaelement.rs
@@ -1061,7 +1061,7 @@ impl HTMLMediaElement {
     }
 
     // https://html.spec.whatwg.org/multipage/#dom-media-seek
-    fn seek_sync(&self) {
+    fn seek_end(&self) {
         // Step 14.
         self.seeking.set(false);
 
@@ -1417,7 +1417,7 @@ impl MicrotaskRunnable for MediaElementMicrotask {
                 generation_id,
             } => {
                 if generation_id == elem.generation_id.get() {
-                    elem.seek_sync();
+                    elem.seek_end();
                 }
             },
         }