我想在调用 get_browser() 函数之前手动设置 $_SERVER['HTTP_USER_AGENT'] 。
<?php
...
$_SERVER['HTTP_USER_AGENT'] = $default_browser;
$browser = get_browser(null, true);
print_r($browser);
?>
但它给了我一个错误。
PHP Warning: get_browser(): HTTP_USER_AGENT variable is not set, cannot determine user agent name in /home/insu/a.php on line 6
是否可以手动设置 HTTP_USER_AGENT?