diff -r ab0871ca8819 -r 7c37aaa2a8ae web/static/res/js/audio.js --- a/web/static/res/js/audio.js Mon Jan 21 21:00:24 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,19 +0,0 @@ - - // Grab a handle to the video - var audio = document.getElementsByTagName('audio'); - // Turn off the default controls - audio.controls = false; - -/* function togglePlayPause() { - var playpause = document.getElementById("playpause"); - if (video.paused || video.ended) { - playpause.title = "pause"; - playpause.innerHTML = "pause"; - video.play(); - } - else { - playpause.title = "play"; - playpause.innerHTML = "play"; - video.pause(); - } -}*/ \ No newline at end of file