From 585a526ed315df42da1c01870bfa74fc5f1e40a9 Mon Sep 17 00:00:00 2001
From: MysteryPancake <MysteryPancake@users.noreply.github.com>
Date: Sat, 8 Sep 2018 11:12:40 +1000
Subject: [PATCH] Navigator.getUserMedia is deprecated - use
 navigator.mediaDevices.getUserMedia

---
 examples/example_simple_exportwav.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/example_simple_exportwav.html b/examples/example_simple_exportwav.html
index a28bda64..7f46802e 100644
--- a/examples/example_simple_exportwav.html
+++ b/examples/example_simple_exportwav.html
@@ -86,7 +86,7 @@ <h2>Log</h2>
     try {
       // webkit shim
       window.AudioContext = window.AudioContext || window.webkitAudioContext;
-      navigator.getUserMedia = navigator.getUserMedia || navigator.webkitGetUserMedia;
+      navigator.getUserMedia = navigator.mediaDevices.getUserMedia || navigator.getUserMedia || navigator.webkitGetUserMedia || navigator.mozGetUserMedia;
       window.URL = window.URL || window.webkitURL;
       
       audio_context = new AudioContext;