Sign in
webkit
/
WebKit
/
3d0b42cd8733f1288f0258cb4ec38a61fc1b4d9e
/
.
/
LayoutTests
/
http
/
tests
/
navigation
/
resources
/
user-agent-script.php
blob: aeeaabc9691fe330b81d9fd7bbf4e144f7307538 [
file
] [
log
] [
blame
]
<?
php
header
(
'Content-Type: application/javascript'
);
?>
window.subresourceUserAgent = "
<?
php
echo $_SERVER
[
'HTTP_USER_AGENT'
];
?>
";