LayoutTests/media/media-file.js

   1 var audioCodecs = [
   2     ["audio/wav", "wav"],
   3     ["audio/aac", "m4a"],
   4     ["audio/mpeg", "mp3"],
   5     ["audio/ogg", "oga"]
   6 ];
   7
   8 var videoCodecs = [
   9     ["video/mp4", "mp4"],
  10     ["video/mpeg", "mpg"],
  11     ["video/quicktime", "mov"],
  12     ["video/ogg", "ogv"]
  13 ];
  14
  15 function findMediaFile(tagName, name) {
  16     var codecs;
  17     if (tagName == "audio")
  18         codecs = audioCodecs;
  19     else
  20         codecs = videoCodecs;
  21
  22     var element = document.getElementsByTagName(tagName)[0];
  23     if (!element)
  24         element = document.createElement(tagName);
  25
  26     for (var i = 0; i < codecs.length; ++i) {
  27         if (element.canPlayType(codecs[i][0]))
  28             return name + "." + codecs[i][1];
  29     }
  30
  31     return "";
  32 }
  33
  34 function setSrcByTagName(tagName, src) {
  35     var elements = document.getElementsByTagName(tagName);
  36     if (elements) {
  37         for (var i = 0; i < elements.length; ++i)
  38             elements[i].src = src;
  39     }
  40 }
  41
  42 function setSrcById(id, src) {
  43     var element = document.getElementById(id);
  44     if (element)
  45         element.src = src;
  46 }