Bien, pero sin el echo seguro que no funciona. Posibles opciones:
Código PHP:
<SCRIPT LANGUAGE="JavaScript"> window.location.href = "<?php echo $_SERVER['HTTP_REFERER']; // PHP > 4.1 ?>"</SCRIPT>
<SCRIPT LANGUAGE="JavaScript"> window.location.href = "<?php echo getenv('HTTP_REFERER'); ?>"</SCRIPT>
<SCRIPT LANGUAGE="JavaScript"> window.location.href = "<?php echo $HTTP_REFERER; ?>"</SCRIPT>
<SCRIPT LANGUAGE="JavaScript"> window.location.href = "<?php echo $HTTP_SERVER_VARS['HTTP_REFERER']; ?>"</SCRIPT>
Ademas, no es 100% seguro la existencia de HTTP_REFERER, existen navegadores (agentes) que no mandan esa informacion, asi que depende del navegador. Es mas, creo que tambien hay proxies que eliminan el valor.
Saludos.