From a9c750989e67ed229d531112999d6af69d3b8e85 Mon Sep 17 00:00:00 2001
From: Jannis <kalberlah@gmail.com>
Date: Thu, 1 Jan 2015 18:55:45 +0100
Subject: [PATCH] Update example_simple_exportwav.html

Added compatibility for recent Firefox versions
---
 example_simple_exportwav.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/example_simple_exportwav.html b/example_simple_exportwav.html
index d3482d2b..f8804264 100644
--- a/example_simple_exportwav.html
+++ b/example_simple_exportwav.html
@@ -86,7 +86,8 @@ <h2>Log</h2>
     try {
       // webkit shim
       window.AudioContext = window.AudioContext || window.webkitAudioContext;
-      navigator.getUserMedia = navigator.getUserMedia || navigator.webkitGetUserMedia;
+      if (!navigator.getUserMedia)
+        navigator.getUserMedia = navigator.webkitGetUserMedia || navigator.mozGetUserMedia;
       window.URL = window.URL || window.webkitURL;
       
       audio_context = new AudioContext;