diff options
author | Andrew Dolgov <[email protected]> | 2009-10-06 13:01:40 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2009-10-06 13:01:40 +0400 |
commit | ab553f9ac5291699be480dd467fbd8a0b8aebc76 (patch) | |
tree | 58af7ddff70504e0608fe5a8db5bd272c9aaecac | |
parent | 51682b23305e9e6c613c74b4b2bcbcd24a8e906f (diff) |
disable dead frontend code for html5 audio tags (refs #246)
-rw-r--r-- | functions.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/functions.js b/functions.js index cb8a0dc5a..02417db79 100644 --- 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')); } } -} +} */ |