use html5 audio player instead of flash when possible

1 files changed, 28 insertions, 0 deletions

diff --git a/viewfeed.js b/viewfeed.js
index 5d40fb321..4444ce29d 100644
--- a/viewfeed.js
+++ b/viewfeed.js
@@ -2365,3 +2365,31 @@ function editArticleNote(id) {
 		exception_error("editArticleNote", e);
 	}
 }
+
+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.");
+	}
+}
+