Removed code for non-default port

The preceding lines use $_SERVER['HTTP_HOST'] which will already include
the port if a non-default port is used.  See
http://www.w3.org/Protocols/rfc2616/rfc2616-sec14.html#sec14.23