Ahí va otro truquillo .. No es mas ni menos q el manual de PHP en el capítulo "Predefined Variables" ..Ademas de q muestra las propias de PHP .. se menciona otras variables predefinidas que no son propias de PHP como las de "servidor" (q son las q se están requiriendo en este caso" .. y q a su vez .. el nombre y lo q hacen viene de las definiciones del standar CGI.
http://www.php.net/manual/en/reserved.variables.php
Un saludo,