diff options
author | Andrew Dolgov <[email protected]> | 2013-04-16 15:44:38 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2013-04-16 15:44:38 +0400 |
commit | 40fe2d73821788e7c202191dc7b94b025585d338 (patch) | |
tree | e9195c9267258966fe763481ff1c078912077764 /js/viewfeed.js | |
parent | 82d77f24a596153b043809cb86398744ebda2b9a (diff) |
remove js-based player, better mp3 support detection for html5 audio
Diffstat (limited to 'js/viewfeed.js')
-rw-r--r-- | js/viewfeed.js | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/js/viewfeed.js b/js/viewfeed.js index 519ab3449..ddee1e461 100644 --- a/js/viewfeed.js +++ b/js/viewfeed.js @@ -2027,34 +2027,6 @@ function initHeadlinesMenu() { } } - -function player(elem) { - var aid = elem.getAttribute("audio-id"); - var status = elem.getAttribute("status"); - - var audio = $(aid); - - if (audio) { - if (status == 0) { - audio.play(); - status = 1; - elem.innerHTML = __("Playing..."); - elem.title = __("Click to pause"); - elem.addClassName("playing"); - } else { - audio.pause(); - status = 0; - elem.innerHTML = __("Play"); - elem.title = __("Click to play"); - elem.removeClassName("playing"); - } - - elem.setAttribute("status", status); - } else { - alert("Your browser doesn't seem to support HTML5 audio."); - } -} - function cache_set(id, obj) { //console.log("cache_set: " + id); if (has_storage) |