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