| OLD | NEW |
| 1 var audioCodecs = [ | 1 var audioCodecs = [ |
| 2 ["audio/wav", "wav"], | 2 ["audio/wav", "wav"], |
| 3 ["audio/aac", "m4a"], | 3 ["audio/aac", "m4a"], |
| 4 ["audio/ogg", "oga"] | 4 ["audio/ogg", "oga"] |
| 5 ]; | 5 ]; |
| 6 | 6 |
| 7 var videoCodecs = [ | 7 var videoCodecs = [ |
| 8 ["video/mp4", "mp4"], | 8 ["video/mp4", "mp4"], |
| 9 ["video/ogg", "ogv"] | 9 ["video/ogg", "ogv"], |
| 10 ["video/webm","webm"] |
| 10 ]; | 11 ]; |
| 11 | 12 |
| 12 function findMediaFile(tagName, name) { | 13 function findMediaFile(tagName, name) { |
| 13 var codecs; | 14 var codecs; |
| 14 if (tagName == "audio") | 15 if (tagName == "audio") |
| 15 codecs = audioCodecs; | 16 codecs = audioCodecs; |
| 16 else | 17 else |
| 17 codecs = videoCodecs; | 18 codecs = videoCodecs; |
| 18 | 19 |
| 19 var element = document.getElementsByTagName(tagName)[0]; | 20 var element = document.getElementsByTagName(tagName)[0]; |
| (...skipping 42 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 62 if (element) | 63 if (element) |
| 63 element.src = src; | 64 element.src = src; |
| 64 } | 65 } |
| 65 | 66 |
| 66 function stripExtension(filename) { | 67 function stripExtension(filename) { |
| 67 var lastPeriodIndex = filename.lastIndexOf("."); | 68 var lastPeriodIndex = filename.lastIndexOf("."); |
| 68 if (lastPeriodIndex > 0) | 69 if (lastPeriodIndex > 0) |
| 69 return filename.substring(0, lastPeriodIndex); | 70 return filename.substring(0, lastPeriodIndex); |
| 70 return filename; | 71 return filename; |
| 71 } | 72 } |
| OLD | NEW |