af_redditimgur: support .mp4 links

diff --git a/plugins/af_redditimgur/init.php b/plugins/af_redditimgur/init.php
index e19220bad4c7190aa5808fc7088787afb8fa1727..02c499c6f370818207e51ce39381f366ecbd0e34 100755 (executable)
--- a/plugins/af_redditimgur/init.php
+++ b/plugins/af_redditimgur/init.php
@@ -167,7 +167,7 @@ class Af_RedditImgur extends Plugin {
                                                str_replace(".gif", ".gifv", $entry->getAttribute("href")));
                                }
 
-                               if (!$found && preg_match("/\.(gifv)$/i", $entry->getAttribute("href"))) {
+                               if (!$found && preg_match("/\.(gifv|mp4)$/i", $entry->getAttribute("href"))) {
                                        _debug("Handling as imgur gifv", $debug);
 
                                        $source_stream = str_replace(".gifv", ".mp4", $entry->getAttribute("href"));