| OLD | NEW |
| (Empty) | |
| 1 // |
| 2 // Returns the URI of a supported video source based on the user agent |
| 3 // |
| 4 function getVideoURI(base) |
| 5 { |
| 6 var extension = '.mp4'; |
| 7 |
| 8 var videotag = document.createElement("video"); |
| 9 |
| 10 if ( videotag.canPlayType && |
| 11 videotag.canPlayType('video/ogg; codecs="theora, vorbis"') ) |
| 12 { |
| 13 extension = '.ogv'; |
| 14 } |
| 15 |
| 16 return base + extension; |
| 17 } |
| 18 |
| 19 // |
| 20 // Returns the URI of a supported audio source based on the user agent |
| 21 // |
| 22 function getAudioURI(base) |
| 23 { |
| 24 var extension = '.mp3'; |
| 25 |
| 26 var audiotag = document.createElement("audio"); |
| 27 |
| 28 if ( audiotag.canPlayType && |
| 29 audiotag.canPlayType('audio/ogg') ) |
| 30 { |
| 31 extension = '.oga'; |
| 32 } |
| 33 |
| 34 return base + extension; |
| 35 } |
| OLD | NEW |