diff --git a/mod/resource/type/file/resource.class.php b/mod/resource/type/file/resource.class.php index 0b7c016fb7d..99028ddb5f6 100644 --- a/mod/resource/type/file/resource.class.php +++ b/mod/resource/type/file/resource.class.php @@ -253,7 +253,10 @@ class resource_file extends resource_base { } else if ($mimetype == 'application/pdf' || $mimetype == 'application/x-pdf') { $resourcetype = "pdf"; $embedded = true; - } + } else if ($mimetype == "audio/x-pn-realaudio") { // It's a realmedia file + $resourcetype = "rm"; + $embedded = true; + } } $isteamspeak = (stripos($resource->reference, 'teamspeak://') === 0); @@ -546,6 +549,20 @@ class resource_file extends resource_base { echo ''; echo ''; echo ''; + } else if ($resourcetype == "rm") { + + echo '