From 03d843b2dc4d7decc1438759361b3687c9518018 Mon Sep 17 00:00:00 2001 From: ikawhero Date: Mon, 13 Mar 2006 07:21:50 +0000 Subject: [PATCH] Added another extension for Real Media. This should cover all the file types for which you would want to embed a player or give you a way to do it eg writing an ram or rpm file. --- filter/mediaplugin/defaultsettings.php | 9 +++++++++ filter/mediaplugin/filter.php | 25 +++++++++++++++++++++++++ filter/mediaplugin/filterconfig.html | 6 ++++++ 3 files changed, 40 insertions(+) diff --git a/filter/mediaplugin/defaultsettings.php b/filter/mediaplugin/defaultsettings.php index 532191da79..c51d287feb 100644 --- a/filter/mediaplugin/defaultsettings.php +++ b/filter/mediaplugin/defaultsettings.php @@ -78,6 +78,15 @@ set_config( 'filter_mediaplugin_enable_ram', 1 ); } } + if (!isset($CFG->filter_mediaplugin_enable_rpm) or $forcereset) { + if (isset($CFG->filter_mediaplugin_ignore_rpm)) { + set_config( 'filter_mediaplugin_enable_rpm', !$CFG->filter_mediaplugin_ignore_rpm ); + set_config( 'filter_mediaplugin_ignore_rpm','' ); + } + else { + set_config( 'filter_mediaplugin_enable_rpm', 1 ); + } + } if (!isset($CFG->filter_mediaplugin_enable_rm) or $forcereset) { if (isset($CFG->filter_mediaplugin_ignore_rm)) { set_config( 'filter_mediaplugin_enable_rm', !$CFG->filter_mediaplugin_ignore_rm ); diff --git a/filter/mediaplugin/filter.php b/filter/mediaplugin/filter.php index 6dd6b7e820..cb8f8deee0 100644 --- a/filter/mediaplugin/filter.php +++ b/filter/mediaplugin/filter.php @@ -209,6 +209,31 @@ function mediaplugin_filter($courseid, $text) { $text = preg_replace($search, $replace, $text); } + + if ($CFG->filter_mediaplugin_enable_rpm) { + $search = '/]*)>(.*?)<\/a>/is'; + + $replace = '\\0

'; + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= '
'; + + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= ''; + $replace .= '

'; + + $text = preg_replace($search, $replace, $text); + } if ($CFG->filter_mediaplugin_enable_rm) { $search = '/]*)>(.*?)<\/a>/is'; diff --git a/filter/mediaplugin/filterconfig.html b/filter/mediaplugin/filterconfig.html index 13f2de46cc..17d990471f 100644 --- a/filter/mediaplugin/filterconfig.html +++ b/filter/mediaplugin/filterconfig.html @@ -12,6 +12,7 @@ $txt->mediapluginavi = get_string( 'mediapluginavi','admin' ); $txt->mediapluginflv = get_string( 'mediapluginflv','admin' ); $txt->mediapluginram = get_string( 'mediapluginram','admin' ); + $txt->mediapluginrpm = get_string( 'mediapluginrpm','admin' ); $txt->mediapluginrm = get_string( 'mediapluginrm','admin' ); $txt->yes = get_string( 'yes' ); $txt->no = get_string( 'no' ); @@ -60,6 +61,11 @@ filter_mediaplugin_enable_ram ); ?> + + mediapluginrpm ?> + filter_mediaplugin_enable_rpm ); ?> + mediapluginrm ?>