From 985efb4b8d5006eae51e4f4e66538d2c3694a9e7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADctor=20Manuel=20J=C3=A1quez=20Leal?= Date: Thu, 6 Jun 2019 17:03:59 +0200 Subject: [PATCH] Use media element task source to receive the player's events This is crumb left behind when changing the usage of dom task source to the proper media element task source. --- components/script/dom/htmlmediaelement.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index dcd36a5b4e3..364870688b6 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -1241,7 +1241,7 @@ impl HTMLMediaElement { let window = window_from_node(self); let (task_source, canceller) = window .task_manager() - .dom_manipulation_task_source_with_canceller(); + .media_element_task_source_with_canceller(); ROUTER.add_route( action_receiver.to_opaque(), Box::new(move |message| {