OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <script src="/media-resources/video-test.js"></script> | 4 <script src="/media-resources/video-test.js"></script> |
5 <script src="media-source.js"></script> | 5 <script src="media-source.js"></script> |
6 | 6 |
7 <script> | 7 <script> |
8 var ms = new WebKitMediaSource(); | 8 var ms = new WebKitMediaSource(); |
9 | 9 |
10 function sourceOpened() | 10 function sourceOpened() |
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
47 | 47 |
48 document.getElementById('vid').src = window.URL.createObjectURL(ms
); | 48 document.getElementById('vid').src = window.URL.createObjectURL(ms
); |
49 } | 49 } |
50 </script> | 50 </script> |
51 </head> | 51 </head> |
52 <body onload="onLoad()"> | 52 <body onload="onLoad()"> |
53 <video id="vid"></video> | 53 <video id="vid"></video> |
54 <p>Tests that the MediaSource is closed when the HTMLMediaElement is destr
oyed.</p> | 54 <p>Tests that the MediaSource is closed when the HTMLMediaElement is destr
oyed.</p> |
55 </body> | 55 </body> |
56 </html> | 56 </html> |
OLD | NEW |