[pinpoint] video: add support for .gif video extension

[Ãyvind KolÃs <ok src gnome org>]

commit eed38185574a9850019e877643a0eddca802a553
Author: Ãyvind KolÃs <pippin gimp org>
Date:   Thu Jan 26 16:17:27 2012 +0000

    video: add support for .gif video extension
    
    With todays use of the GIF format, primarily a container for animated cats,
    it is effectively a video format without support for audio. Gstreamer has
    GIF support :)

 pinpoint.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/pinpoint.c b/pinpoint.c
index 9adf699..294480a 100644
--- a/pinpoint.c
+++ b/pinpoint.c
@@ -556,7 +556,7 @@ str_has_video_suffix (const char *string)
 {
   char *video_extensions[] =
     {".avi", ".ogg", ".ogv", ".mpg",  ".flv", ".mpeg",
-     ".mov", ".mp4", ".wmv", ".webm", ".mkv", ".3gp", NULL};
+     ".mov", ".mp4", ".wmv", ".webm", ".mkv", ".3gp", ".gif", NULL};
   char **ext;
 
   for (ext = video_extensions; *ext; ext ++)