User-AgentとHTTP_USER_AGENTの違いについて

Question

User-AgentとHTTP_USER_AGENTはどのように違うのでしょうか？
HTTPヘッダ内にHTTP_USER_AGENTはないのでしょうか？

Answer 1

どちらも同じものを指しています。
PHPがHTTPヘッダのUser-Agentを$_SERVER['HTTP_USER_AGENT']という変数に格納しているだけです。

HTTPヘッダ内にHTTP_USER_AGENTはないのでしょうか？

上記の理由により、ないです。「HTTP_USER_AGENT」という名前はPHPが独自に決めているだけで、HTTPプロトコル上には存在しません。HTTPヘッダ内にはUser-Agentという名前で格納されています。

Comments

[marimo.]

つまり、同じものを指してはいるが、HTTPヘッダには変数名としてHTTP_USER_AGENTはないということでしょうか？

[masaya_ohashi]

追記しました。

[marimo.]

理解しました。ありがとうございます。
また、何かありましたらよろしくお願い致します。

[ngyuki]

PHPが独自に決めているというより、もとは CGI の仕様で php がそれを踏襲しているのではないでしょうか（php-cgi と mod_php で同じスクリプトが動くように）

[masaya_ohashi]

なるほどー。そういう歴史があるのですね。