Add .webm extension for <video>
authorBernie Innocenti <bernie@codewiz.org>
Wed, 12 Jan 2011 22:23:26 +0000 (17:23 -0500)
committerBernie Innocenti <bernie@codewiz.org>
Wed, 12 Jan 2011 22:23:26 +0000 (17:23 -0500)
geekigeeki.py

index 147b129fd4c9402ac8512f1bc55259aa1d302987..7700585b975aefeda856cefd643d4276f66cb1d0 100755 (executable)
@@ -21,7 +21,7 @@ title_done = False
 import cgi, sys, os, re, errno, stat, glob
 
 image_ext = 'png|gif|jpg|jpeg|bmp|ico'
-video_ext = "ogg|ogv|oga" # Not supported by Firefox 3.5: mkv|mpg|mpeg|mp4|avi|asf|flv|wmv|qt
+video_ext = "ogg|ogv|oga|webm" # Not supported by Firefox 3.5: mkv|mpg|mpeg|mp4|avi|asf|flv|wmv|qt
 image_re = re.compile(r".*\.(" + image_ext + "|" +  video_ext + ")$", re.IGNORECASE)
 video_re = re.compile(r".*\.(" + video_ext + ")$", re.IGNORECASE)
 # FIXME: we accept stuff like foo/../bar and we shouldn't