From f63ecb3078eb8cb985ebdd29e1c4c158cff3a59a Mon Sep 17 00:00:00 2001
From: Juliusz Chroboczek <jch@irif.fr>
Date: Mon, 1 Feb 2021 01:08:39 +0100
Subject: [PATCH] Support file playback on Mozilla.

---
 static/galene.js | 26 +++++++++++++++++---------
 1 file changed, 17 insertions(+), 9 deletions(-)

diff --git a/static/galene.js b/static/galene.js
index 2dec6de..f504bf0 100644
--- a/static/galene.js
+++ b/static/galene.js
@@ -419,8 +419,11 @@ function setButtonsVisibility() {
     let local = !!findUpMedia('local');
     let share = !!findUpMedia('screenshare');
     let video = !!findUpMedia('video');
-    /** @ts-ignore */
-    let canFile = !!HTMLVideoElement.prototype.captureStream;
+    let canFile =
+        /** @ts-ignore */
+        !!HTMLVideoElement.prototype.captureStream ||
+        /** @ts-ignore */
+        !!HTMLVideoElement.prototype.mozCaptureStream;
 
     // don't allow multiple presentations
     setVisibility('presentbutton', permissions.present && !local);
@@ -1154,18 +1157,23 @@ async function addShareMedia() {
  * @param {File} file
  */
 async function addFileMedia(file) {
-    /** @ts-ignore */
-    if(!HTMLVideoElement.prototype.captureStream) {
-        displayError("This browser doesn't support file playback");
-        return;
-    }
-
     let url = URL.createObjectURL(file);
     let video = document.createElement('video');
     video.src = url;
     video.controls = true;
+    let stream;
     /** @ts-ignore */
-    let stream = video.captureStream();
+    if(video.captureStream)
+        /** @ts-ignore */
+        stream = video.captureStream();
+    /** @ts-ignore */
+    else if(video.mozCaptureStream)
+        /** @ts-ignore */
+        stream = video.mozCaptureStream();
+    else {
+        displayError("This browser doesn't support file playback");
+        return;
+    }
 
     let c = newUpStream();
     c.kind = 'video';