get_server_host_name in WPML 3.1.5-a

private function get_server_host_name() {
        if(!isset($_SERVER[ 'HTTP_HOST' ])) {
            $host =  $_SERVER[ 'SERVER_NAME' ];
            if(isset( $_SERVER[ 'SERVER_PORT' ] ) && $_SERVER[ 'SERVER_PORT' ]!=80) {
                $host .= ':' . $_SERVER[ 'SERVER_PORT' ];
            }
        } else {
            $host =  $_SERVER[ 'HTTP_HOST' ];
        }

        //Removes standard ports 443 (80 should be already omitted in all cases)
        $result = preg_replace( "@:[443]+([/]?)@", '$1', $host );

        return $result;
    }