diff --git a/filter/mediaplugin/filter.php b/filter/mediaplugin/filter.php index cb8d386138a..5df366cdb44 100644 --- a/filter/mediaplugin/filter.php +++ b/filter/mediaplugin/filter.php @@ -143,14 +143,15 @@ function mediaplugin_filter_mp3_callback($link) { static $count = 0; $count++; $id = 'filter_mp3_'.time().$count; //we need something unique because it might be stored in text cache + $url = $link[1]; + $jsurl = addslashes_js($link[1]); - $url = addslashes_js($link[1]); - - return $link[0]. + $printlink = ''.get_string('mp3audio', 'mediaplugin').''; + return $printlink. '('.get_string('mp3audio', 'mediaplugin').') '; @@ -273,17 +286,19 @@ document.write(\''. + ''. ''. ''. ''. ''. - ''; + ''. + ''; } /** @@ -302,8 +317,9 @@ function mediaplugin_filter_wmp_callback($link, $autostart=false) { } $mimetype = mimeinfo('type', $url); $autostart = $autostart ? 'true' : 'false'; + $printlink = ''.get_string('wmpvideo', 'mediaplugin').''; - return $link[0]. + return $printlink. ' '.get_string('quicktime', 'mediaplugin').''; - return $link[0]. + return $printlink. ' diff --git a/lang/en_utf8/mediaplugin.php b/lang/en_utf8/mediaplugin.php index e38944d6777..35ff25a433d 100644 --- a/lang/en_utf8/mediaplugin.php +++ b/lang/en_utf8/mediaplugin.php @@ -9,5 +9,8 @@ $string['flashvideo'] = 'Flash video'; $string['mp3audio'] = 'MP3 audio'; $string['oggaudio'] = 'OGG audio'; $string['ogvvideo'] = 'OGV video'; +$string['quicktime'] = 'Quicktime'; +$string['realaudio'] = 'Real audio'; +$string['wmpvideo'] = 'WMP video'; $string['unsupportedplugins'] = '(The browser does not support this type of file. {$a})'; ?>