no, non proprio restituisce la pagina da cui sono giunto in quella.

ho uppato nel sito www.italianraiders.com l'esempio con il tuo codice diciamo solamente che ho messo un semplice
$pagina=$_SERVER['HTTP_REFERER'];
echo $pagina;


intanto se digiti direttamente l'url nella barra del browser l'echo non stamperà nulla.

prova poi per esempio a cliccare da qualche parte giusto per cambiar pagina e vedrai che l'echo stampa esattamente la pagina di provenienza non quella d'arrivo