Add webm support in showinframes.php (using jplayer)

main/document/showinframes.php

@@ -101,7 +101,7 @@ if (!$is_allowed_to_edit && !$is_visible) {
 }
 
 $pathinfo = pathinfo($header_file);
-$jplayer_supported_files = array('mp4', 'ogv', 'flv', 'm4v');
+$jplayer_supported_files = array('mp4', 'ogv', 'flv', 'm4v', 'webm');
 $jplayer_supported = false;
 
 if (in_array(strtolower($pathinfo['extension']), $jplayer_supported_files)) {
@@ -250,6 +250,9 @@ if ($jplayer_supported) {
     if ($extension == 'mp4') {
         $extension = 'm4v';
     }
+    if ($extension == 'webm') {
+        $extension = 'webmv';
+    }
     $js_path = api_get_path(WEB_LIBRARY_PATH).'javascript/';
     $htmlHeadXtra[] = '<link rel="stylesheet" href="'.$js_path.'jquery-jplayer/skin/blue.monday/css/jplayer.blue.monday.css" type="text/css">';
     $htmlHeadXtra[] = '<script type="text/javascript" src="'.$js_path.'jquery-jplayer/jplayer/jquery.jplayer.min.js"></script>';