From: moodler Date: Tue, 1 Feb 2005 03:24:25 +0000 (+0000) Subject: Updates from Charlie Williams and "wild girl"s fantastic flash friend X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=a2df2a1ac05111fa35ee464307d541750d0cf718;p=moodle.git Updates from Charlie Williams and "wild girl"s fantastic flash friend MP3 player now has a slider with loading information, and is slightly less high (15px instead of 18px) so it fits better inline. Source included. --- diff --git a/filter/mediaplugin/filter.php b/filter/mediaplugin/filter.php index 14ea9643a5..0042983cc0 100644 --- a/filter/mediaplugin/filter.php +++ b/filter/mediaplugin/filter.php @@ -21,14 +21,14 @@ function mediaplugin_filter($courseid, $text) { if (empty($CFG->filter_mediaplugin_ignore_mp3)) { $search = '/]*)>(.*?)<\/a>/i'; - $replace = '\\0 wwwroot/filter/mediaplugin/mp3player.swf?src=\\2.mp3\" />"; $replace .= ' '; $replace .= ' '; $replace .= " wwwroot/filter/mediaplugin/mp3player.swf?src=\\2.mp3\" "; - $replace .= " quality=\"high\" bgcolor=\"#333333\" width=\"35\" height=\"18\" name=\"mp3player\" "; + $replace .= " quality=\"high\" bgcolor=\"#333333\" width=\"90\" height=\"15\" name=\"mp3player\" "; $replace .= ' type="application/x-shockwave-flash" '; $replace .= ' pluginspage="http://www.macromedia.com/go/getflashplayer">'; $replace .= ''; @@ -40,7 +40,7 @@ function mediaplugin_filter($courseid, $text) { if (empty($CFG->filter_mediaplugin_ignore_swf)) { $search = '/]*)>(.*?)<\/a>/i'; - $replace = '\\0

"; @@ -58,7 +58,7 @@ function mediaplugin_filter($courseid, $text) { if (empty($CFG->filter_mediaplugin_ignore_mov)) { $search = '/]*)>(.*?)<\/a>/i'; - $replace = '\\0

filter_mediaplugin_ignore_wmv)) { $search = '/]*)>(.*?)<\/a>/i'; - $replace = '\\0

filter_mediaplugin_ignore_mpg)) { $search = '/]*)>(.*?)<\/a>/i'; - $replace = '\\0

'; + $replace = '\\0

'; $replace .= ''; $replace .= ''; $replace .= ''; @@ -120,7 +120,7 @@ function mediaplugin_filter($courseid, $text) { if (empty($CFG->filter_mediaplugin_ignore_avi)) { $search = '/]*)>(.*?)<\/a>/i'; - $replace = '\\0

'; + $replace = '\\0

'; $replace .= ''; $replace .= ''; $replace .= ''; diff --git a/filter/mediaplugin/mp3player.fla.zip b/filter/mediaplugin/mp3player.fla.zip index 6ef979cf8d..31afdbdff0 100644 Binary files a/filter/mediaplugin/mp3player.fla.zip and b/filter/mediaplugin/mp3player.fla.zip differ diff --git a/filter/mediaplugin/mp3player.swf b/filter/mediaplugin/mp3player.swf index d98fce3323..b03b00464f 100755 Binary files a/filter/mediaplugin/mp3player.swf and b/filter/mediaplugin/mp3player.swf differ