| <html> | |
| <body> | |
| <script> | |
| if (window.testRunner) | |
| testRunner.dumpAsText(); | |
| var userAgent = "<?php echo $_SERVER['HTTP_USER_AGENT']; ?>"; | |
| if (userAgent.match(/WebKit/)) { | |
| document.write("PASS: User-Agent header contains the string 'WebKit'."); | |
| } else { | |
| document.write("FAIL: User-Agent header does not contain the string 'WebKit', value is '" + userAgent + "'"); | |
| } | |
| </script> | |
| </body> | |
| </html> |