diff --git a/mod/lesson/mediafile.php b/mod/lesson/mediafile.php new file mode 100644 index 00000000000..9f089ce8f0a --- /dev/null +++ b/mod/lesson/mediafile.php @@ -0,0 +1,139 @@ +libdir.'/filelib.php'); + + $id = required_param('id', PARAM_INT); // Course Module ID + + if (! $cm = get_record('course_modules', 'id', $id)) { + error('Course Module ID was incorrect'); + } + + if (! $course = get_record('course', 'id', $cm->course)) { + error('Course is misconfigured'); + } + + if (! $lesson = get_record('lesson', 'id', $cm->instance)) { + error('Course module is incorrect'); + } + + require_login($course->id, false, $cm); + + print_header(); + + // get the mimetype + $path_parts = pathinfo($lesson->mediafile); + $mimetype = mimeinfo("type", $path_parts['basename']); + + if (substr_count($lesson->mediafile, '//') == 1) { + // OK, taking a leap of faith here. We are assuming that teachers are cool + // and thus the mediafile is a url + $fullurl = $lesson->mediafile; + } else { + // get the full url to the file while taking into consideration $CFG->slasharguments + if ($CFG->slasharguments) { + $relativeurl = "/file.php/{$course->id}/{$lesson->mediafile}"; + } else { + $relativeurl = "/file.php?file=/{$course->id}/{$lesson->mediafile}"; + } + $fullurl = "$CFG->wwwroot$relativeurl"; + } + + // find the correct type and print it out + if ($mimetype == "audio/mp3") { // It's an MP3 audio file + + if (!empty($THEME->resource_mp3player_colors)) { + $c = $THEME->resource_mp3player_colors; // You can set this up in your theme/xxx/config.php + } else { + $c = 'bgColour=000000&btnColour=ffffff&btnBorderColour=cccccc&iconColour=000000&'. + 'iconOverColour=00cc00&trackColour=cccccc&handleColour=ffffff&loaderColour=ffffff&'. + 'font=Arial&fontColour=3333FF&buffer=10&waitForPlay=no&autoPlay=yes'; + } + $c .= '&volText='.get_string('vol', 'resource').'&panText='.get_string('pan','resource'); + $c = htmlentities($c); + echo '
'; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo '
'; + + } else if (substr($mimetype, 0, 10) == "video/x-ms") { // It's a Media Player file + + echo "

"; + echo ''; + echo ""; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo "\n'; + echo ''; + echo ''; + echo "

"; + + } else if ($mimetype == "video/quicktime") { // It's a Quicktime file + + echo "

"; + echo ''; + echo ""; + echo ''; + echo ''; + echo ''; + echo ''; + echo "\n'; + echo ''; + echo ''; + echo "

"; + + } else if ($mimetype == "application/x-shockwave-flash") { // It's a flash file + + error('Flash is not supported yet'); + + } else if ($mimetype == "audio/x-pn-realaudio") { // It's a realmedia file + + echo ''; + echo ""; + echo ''; // not sure what the console param should equal + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + echo ''; + + } else { + error('Unsupported mime type: '.$mimetype); + } +?> \ No newline at end of file