potrebbe essere che $_SERVER['HTTP_REFERER'] non mi da nessun valore perchè la pagina di provenienza è https ??? in tal caso quale variabile php devo usare??