リダイレクト用のパス作りにユーザーがURL欄に入力した ホスト名、ポート名が取得したいが*1これがなかなか取れない、、アクセス先が http://xxxxxx/yyyy/zzz.php だとすると $_SERVER['PHP_SELF'] ホスト名、ポート名は入らない（/yyyy/zzz.php） $_SERVER[…