merged fix for MDL-10856, mp3 filter not working in uploaded html files

diff --git a/filter/mediaplugin/filter.php b/filter/mediaplugin/filter.php
index e5de22f6ea06d9a7323730e354f1923212c41a33..c15bad14794f1abdb2bc4d42bc8f2f261770d1d6 100644 (file)
--- a/filter/mediaplugin/filter.php
+++ b/filter/mediaplugin/filter.php
@@ -101,6 +101,7 @@ function mediaplugin_filter_mp3_callback($link) {
 
     return $link[0].
 '<span class="mediaplugin mediaplugin_mp3" id="'.$id.'">('.get_string('mp3audio', 'mediaplugin').')</span>
+<script type="text/javascript" src="'.$CFG->wwwroot.'/lib/ufo.js"></script>
 <script type="text/javascript">
 //<![CDATA[
   var FO = { movie:"'.$CFG->wwwroot.'/filter/mediaplugin/mp3player.swf?src='.$url.'",