| 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 |