读取HTTP首部

问题
希望读取一个HTTP请求首部。
解决方案
要读取一个首部，可以查看$_SERVER超级全局变量数组:
//User-Agent首部
echo $_SERVER['HTTP_USER_AGENT'];

要读取所有首部，可以调用getallheaders():
$headers = getallheaders();
foreach($headers as $a=>$b){
print "$a:$b";
print '
';
}