Avevo pensato di utilizzare

$_SERVER['HTTP_REFERER']

in modo da capire se l'utente proveniva da una pagina precedente o faceva un refresh, ma il php in questo è fantastico perchè se esegui un refresh la pagina di referer rimane sempre la stessa...ma c'è il modo per far capire al php che un utente fa un REFRESH?