From d02b207a21ed075d3a1051b993bcd05a2c27eee4 Mon Sep 17 00:00:00 2001
From: poltawski <poltawski>
Date: Thu, 18 Sep 2008 21:17:18 +0000
Subject: [PATCH] MDL-16572 - avi files were not detected as
 PORTFOLIO_FORMAT_VIDEO

---
 lib/portfolio/formats.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/portfolio/formats.php b/lib/portfolio/formats.php
index 5fb1d89802..8ca8902694 100644
--- a/lib/portfolio/formats.php
+++ b/lib/portfolio/formats.php
@@ -65,7 +65,10 @@ class portfolio_format_html extends portfolio_format_file {
 */
 class portfolio_format_video extends portfolio_format_file {
     public static function mimetypes() {
-        return mimeinfo_from_icon('type', 'video.gif', true);
+        return array_merge(
+                mimeinfo_from_icon('type', 'video.gif', true),
+                mimeinfo_from_icon('type', 'avi.gif', true)
+               );
     }
 }
 
-- 
2.39.5