MDL-16572 - avi files were not detected as PORTFOLIO_FORMAT_VIDEO

diff --git a/lib/portfolio/formats.php b/lib/portfolio/formats.php
index 5fb1d898027263a021b8d79bf3fec00857767891..8ca890269489ff04e96631d08b3f0255e4308cc6 100644 (file)
--- 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)
+               );
     }
 }