--- a/testsuite/web-framework/HTML5_player.js	Fri Dec 12 02:10:58 2008 +0000
+++ b/testsuite/web-framework/HTML5_player.js	Fri Dec 12 02:26:44 2008 +0000
@@ -442,7 +442,8 @@
 }
 
 HTML5Caption.prototype.startPlayer = function() {
-    if (-1 == navigator.userAgent.indexOf("Firefox/3.1")) {
+    if (-1 == navigator.userAgent.indexOf("Firefox/3.1") &&
+        -1 == navigator.userAgent.indexOf("Shiretoko/3.1")) {
 	alert("This player only works in Firefox 3.1.");
     }
 }