PHP obtenant le nom complet du serveur, y compris le numéro de port et le protocole

En PHP, est-il un fiable et la bonne façon d'obtenir ces choses:

Protocole: http ou https
Servername: par exemple localhost
Portnumber: par exemple 8080

Je peux obtenir le nom du serveur à l'aide de $_SERVER['SERVER_NAME'].

Je peux obtenir le protocole, mais je ne pense pas que c'est parfait:

    if(strtolower(substr($_SERVER["SERVER_PROTOCOL"],0,5))=='https') {
        return "https";
    }
    else {
        return "http";
    }

Je ne sais pas comment pour obtenir le numéro de port. Les numéros de port, j'utilise ne sont pas 80.. ils sont 8080 et 8888.

Merci.

source d'informationauteur ale