The variable we are interested in right now is $_SERVER[ "HTTP_USER_AGENT"].
PHPのオートグローバルに関する注意 $_SERVER は、 Webサーバ関連情報を全て保持するPHPの特別な予約変数です。詳細は、 オートグローバル (スーパーグローバルとも呼ばれます) を参照して下さい。 これらの特別な変数は、PHP 4.1.0で導入されました。これ以前は、 $HTTP_SERVER_VARS のような古い配列 $HTTP_*_VARS を代わりに使用していました。古い とはいえ、これらの変数はまだ存在しています。 (古いコード に関する注記も 参照して下さい。)