src/Url.php
function getFullHost(): ?string
    {
        if ($this->host === null) {
            return null;
        }

        $fullHost = $this->host;

        if ($this->port !== null) {
            $fullHost .= ':' . $this->port;
        }

        return $fullHost;
    }
function getFullHost(): ?string
    {
        if ($this->host === null) {
            return null;
        }

        $fullHost = $this->host;

        if ($this->port !== null) {
            $fullHost .= ':' . $this->port;
        }

        return $fullHost;
    }
function getFullHost ( ) : ? string { if ( $ this -> host === null ) { return null ; } $ fullHost = $ this -> host ; if ( $ this -> port !== null ) { $ fullHost .= ':' . $ this -> port ; } return $ fullHost ; }
Get host name, including the port, if defined

E.g. example.com:8080
Get host name including the port if defined