PHPで$_SERVERを参照するとサーバ環境変数が取得できます．

このうち $_SERVER['HTTP_HOST'] と $_SERVER['SERVER_NAME'] は似て非なるものです．
HTTP_HOSTは，クライアントがリクエストヘッダ中でサーバに送ってくる Host ヘッダ．
SERVER_NAMEは，サーバ側が持ってる名前（VirtualHostのときはその名前）．

大体の場合両者は一致するのですが，EZweb端末でSSL上のリクエストを行うと，HTTP_HOSTの末尾にポート番号が付きます．
https://example.com/ とすると
$_SERVER['HTTP_HOST']は example.com:443
$_SERVER['SERVER_NAME']は example.com
なんですな．

いずれにしろHTTP_HOSTのほうはブラウザが任意で送ってくるものなのでアテにしちゃいけません．
逆に443がほしければ $_SERVER['SERVER_PORT'] で取得できます．

■PHP: $_SERVER - Manual