come non detto, mi sfuggiva:

$_SERVER[HTTP_REFERER];