Sign in
webkit
/
WebKit
/
b4234713c85383e00e81c500ff74ee340e8a262a
/
.
/
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'
];
?>
";