Prefer mp4 over webm - seems to work better for most users

diff --git a/youtube-dl b/youtube-dl
index df0391febfa9d2128dd1759b52e2fa27860a6e54..53d454873909934b2d7a50f499bf44d2432c932d 100755 (executable)
--- a/youtube-dl
+++ b/youtube-dl
@@ -1088,7 +1088,7 @@ class YoutubeIE(InfoExtractor):
        _AGE_URL = 'http://www.youtube.com/verify_age?next_url=/&gl=US&hl=en'
        _NETRC_MACHINE = 'youtube'
        # Listed in order of quality
-       _available_formats = ['38', '37', '45', '22', '43', '35', '34', '18', '6', '5', '17', '13']
+       _available_formats = ['38', '37', '22', '45', '35', '43', '34', '18', '6', '5', '17', '13']
        _video_extensions = {
                '13': '3gp',
                '17': 'mp4',