PHPの変数 $_SERVER ( サーバー変数 )
→説明はこちら
サンプルコード実行
$_SERVER変数
[ PHP_SELF] : /code-example/php/3-5-4.php
[ HTTP_USER_AGENT] : claudebot