From 70a0174b0abef796a1d1500fa7a8b7dc395719e0 Mon Sep 17 00:00:00 2001
From: Anthony Ramine <n.oxyde@gmail.com>
Date: Fri, 14 Sep 2018 09:46:57 +0200
Subject: [PATCH] Remove a panic due to missing video support

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

diff --git a/components/script/dom/webglrenderingcontext.rs b/components/script/dom/webglrenderingcontext.rs
index eb7be0019e9..2f3df2adb7c 100644
--- a/components/script/dom/webglrenderingcontext.rs
+++ b/components/script/dom/webglrenderingcontext.rs
@@ -540,8 +540,10 @@ impl WebGLRenderingContext {
                     return Err(());
                 }
             },
-            ImageDataOrHTMLImageElementOrHTMLCanvasElementOrHTMLVideoElement::HTMLVideoElement(_rooted_video)
-                => unimplemented!(),
+            ImageDataOrHTMLImageElementOrHTMLCanvasElementOrHTMLVideoElement::HTMLVideoElement(_) => {
+                // TODO: https://github.com/servo/servo/issues/6711
+                return Err(());
+            }
         };
 
         return Ok((pixels, size, premultiplied));