Show ogg as audio media see BT#16282

chamilo · Nov 21, 2019 · bf2fa69 · bf2fa69
1 parent 815cffd
commit bf2fa69
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/main/inc/lib/document.lib.php b/main/inc/lib/document.lib.php
@@ -3256,6 +3256,7 @@ public static function generateMediaPreview($file, $extension)
     {
         $id = api_get_unique_id();
         switch ($extension) {
+            case 'ogg':
             case 'mp3':
                 $document_data['file_extension'] = $extension;
                 $html = '<div style="margin: 0; position: absolute; top: 50%; left: 35%;">';