avevo anche provato dentro le virgolette ovviamente...

cmq ho trovato una soluzione che non va bene per chi avrà javascript disabilitato, però....

eccovi il codice, visto che può sempre servire a qualcuno:
Codice PHP:
// inizio codice per il redirect alla pagina di provenienza 
$url = $_SERVER['HTTP_REFERER']; 
echo '<script>'; 
echo "  document.location.href = '".$url."'"; 
echo '</script>'; 
// fine codice per il redirect alla pagina di provenienza