disable dead frontend code for html5 audio tags (refs #246)

diff --git a/functions.js b/functions.js
index cb8a0dc5a774dd29072db012f02a0573e5ff28ee..02417db792193f6fef4db12e791880df4e2fc9bf 100644 (file)
--- a/functions.js
+++ b/functions.js
@@ -2133,6 +2133,8 @@ function truncate_string(s, length) {
        if (s.length > length) tmp += "…";
        return tmp;
 }
+
+/*
 function switchToFlash(e) {
        try {
                var targ = e;
@@ -2158,6 +2160,7 @@ function switchToFlash(e) {
                exception_error("switchToFlash", e);
        }
 }
+
 function html5AudioOrFlash(type) {
        var audioTag = document.createElement('audio');
        if(! audioTag.canPlayType || audioTag.canPlayType(type) == "no" ||
@@ -2166,4 +2169,4 @@ function html5AudioOrFlash(type) {
                        switchToFlash($('switchToFlashLink'));
                }
        }
-}
+} */