5 document.getElementById("log").innerHTML += msg + "<br>";
9 var referrerHeader = "<?php echo $_SERVER['HTTP_REFERER'] ?>";
10 if (referrerHeader == "")
11 log("HTTP Referer header is empty");
13 log("HTTP Referer header is " + referrerHeader);
15 if (document.referrer == "")
16 log("Referrer is empty");
18 log("Referrer is " + document.referrer);
20 if (window.layoutTestController)
21 layoutTestController.notifyDone();
25 <body onload="runTest()">