Show ogg files as a media content see BT#16282

6 years ago · 815cffd1ab
parent 9d64891b54
commit 815cffd1ab
2 changed files with 2 additions and 2 deletions
--- a/main/document/showinframes.php
+++ b/main/document/showinframes.php
@ -103,7 +103,7 @@ if (!$is_allowed_to_edit && !$is_visible) {
 }

 $pathinfo = pathinfo($header_file);
-$playerSupportedFiles = ['mp3', 'mp4', 'ogv', 'flv', 'm4v', 'webm'];
+$playerSupportedFiles = ['mp3', 'mp4', 'ogv', 'ogg', 'flv', 'm4v', 'webm'];
 $playerSupported = false;
 if (in_array(strtolower($pathinfo['extension']), $playerSupportedFiles)) {
    $playerSupported = true;
--- a/main/lp/learnpath.class.php
+++ b/main/lp/learnpath.class.php
@ -12944,7 +12944,7 @@ EOD;
                }

                $documentPathInfo = pathinfo($document->getPath());
-                $mediaSupportedFiles = ['mp3', 'mp4', 'ogv', 'flv', 'm4v'];
+                $mediaSupportedFiles = ['mp3', 'mp4', 'ogv', 'ogg', 'flv', 'm4v'];
                $extension = isset($documentPathInfo['extension']) ? $documentPathInfo['extension'] : '';
                $showDirectUrl = !in_array($extension, $mediaSupportedFiles);