a memoria non ricordo...

in ogni caso stampati tutto l'array $_SERVER e vedi quale ti serve:

Codice PHP:
print_r($_SERVER);