title: $_SERVER['HTTP_HOST'] contains port number too =/
body: <p>I don't know maybe it's a bug.</p>
  
  <p>I have 2 virutalhosts on my server.</p>
  
  <p>virtualhost1.com
  virtualhost2.com</p>
  
  <p>if i open virtualhost1.com with port 80 (virtualhost1.com:80)</p>
  
  <pre><code>$_SERVER['HTTP_HOST']='virtualhost1.com';
  </code></pre>
  
  <p>but if i open virtualhost2.com:80</p>
  
  <pre><code>$_SERVER['HTTP_HOST']='virtualhost2.com:80'; // NOTE: with port number
  </code></pre>
  
  <p>Can I know why?</p>