summaryrefslogtreecommitdiffstats
path: root/dom/media/test/test_can_play_type_no_ogg.html
blob: 2e63f191d24b87e03da53ee4ee4d2075d25f796c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
<!DOCTYPE HTML>
<html>
<!--
https://bugzilla.mozilla.org/show_bug.cgi?id=469247
-->
<head>
  <title>Test for Bug 469247: Ogg backend disabled</title>
  <script type="application/javascript" src="/MochiKit/MochiKit.js"></script>
  <script src="/tests/SimpleTest/SimpleTest.js"></script>
  <link rel="stylesheet" type="text/css" href="/tests/SimpleTest/test.css"/>
  <script type="text/javascript" src="manifest.js"></script>
</head>
<body>
<a target="_blank" href="https://bugzilla.mozilla.org/show_bug.cgi?id=469247">Mozill
a Bug 469247</a>
<p id="display"></p>
<div id="content" style="display: none">
</div>

<video id="v"></video>

<pre id="test">
<script src="can_play_type_ogg.js"></script>
<script>

SimpleTest.waitForExplicitFinish();

function finish() {
  mediaTestCleanup();
  SimpleTest.finish();
}

SpecialPowers.pushPrefEnv({"set": [["media.ogg.enabled", false]]},
  function() {
    check_ogg(document.getElementById('v'), false, finish);
  }
);

</script>
</pre>
</body>
</html>