Sapere la pagina di provenienza?

[Vash SD]

$PHP_SELF mi rende la pagina in cui sto navigando, esiste invece una funzione che mi restituisce la pagina di provenienza?

[E.d.i.73]

$_SERVER['HTTP_REFERER'];