Index: chrome/test/data/media/player.html |
=================================================================== |
--- chrome/test/data/media/player.html (revision 148353) |
+++ chrome/test/data/media/player.html (working copy) |
@@ -1,45 +0,0 @@ |
-<html> |
-<body> |
-<div id="player_container"></div> |
-<script> |
-var player = null; |
-function InstallEventHandler(event, action) { |
- player.addEventListener(event, function(e) { |
- eval(action); |
- }, false); |
-} |
- |
-// Parse the location and load the media file accordingly. |
-var url = window.location.href; |
-var url_parts = url.split('?'); |
- |
-// Make sure the URL is of the form "player.html?query". |
-var ok = false; |
-if (url_parts.length > 1) { |
- var query = url_parts[1]; |
- var query_parts = query.split('='); |
- if (query_parts.length == 2) { |
- var tag = query_parts[0]; |
- var media_url = query_parts[1]; |
- if (tag == 'audio' || tag == 'video') { |
- ok = true; |
- var container = document.getElementById('player_container'); |
- container.innerHTML = '<' + tag + ' controls id="player"></' + tag + '>'; |
- player = document.getElementById('player'); |
- |
- // Install event handlers. |
- InstallEventHandler('error', 'document.title = "ERROR"'); |
- InstallEventHandler('playing', 'document.title = "PLAYING"'); |
- |
- // Starts the player. |
- player.src = media_url; |
- player.play(); |
- } |
- } |
-} |
-if (!ok) { |
- document.title = 'FAILED'; |
-} |
-</script> |
-</body> |
-</html> |