diff --git a/mod/resource/type/file/resource.class.php b/mod/resource/type/file/resource.class.php index 5617afff201..f5429d79df5 100644 --- a/mod/resource/type/file/resource.class.php +++ b/mod/resource/type/file/resource.class.php @@ -428,31 +428,34 @@ function display() { } $c .= '&volText='.get_string('vol', 'resource').'&panText='.get_string('pan','resource'); $c = htmlentities($c); + $id = 'filter_mp3_'.time(); //we need something unique because it might be stored in text cache + $cleanurl = addslashes_js($fullurl); + + + // If we have Javascript, use UFO to embed the MP3 player, otherwise depend on plugins + echo '
'; - echo '
'; - echo ''; - echo ''; - echo ''; - echo ''; - echo ''; - echo ''; + + echo ''. + ''."\n"; + + echo ''; + + echo ''; echo '
'; - echo '
'; } else if ($resourcetype == "mediaplayer") { echo '
';