lib/php/mime.php

diff --git a/lib/php/mime.php b/lib/php/mime.php
index 359b1b484ac091b4994a83690c9a392954c15bcb..c038161d3c43ab37973239d59534bd713fc02508 100644 (file)
--- a/lib/php/mime.php
+++ b/lib/php/mime.php
@@ -770,7 +770,14 @@ class Mime {
                        break;
                }
 
-               if (empty($id)) return;
+               if (empty($id)) {
+                       $ext = preg_match(',^(\w+://|/).*\.(\w+)$,',$str,$m) ? $m[2] : '';
+                       if ($ext) foreach (self::Types as $t => $e) {
+                               if (strpos($t,'video/') !== 0 or $e != $ext) continue;
+                               return '<video class="video" src="'.$str.'" controls />';
+                       }
+                       return;
+               }
 
                static $already_init;
                if (empty($already_init)) {