diff options
Diffstat (limited to 'dom/media/test/test_can_play_type_no_ogg.html')
| -rw-r--r-- | dom/media/test/test_can_play_type_no_ogg.html | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/dom/media/test/test_can_play_type_no_ogg.html b/dom/media/test/test_can_play_type_no_ogg.html new file mode 100644 index 0000000000..2e63f191d2 --- /dev/null +++ b/dom/media/test/test_can_play_type_no_ogg.html @@ -0,0 +1,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> |