Solo recalcar que $HTTP_REFERER no debe ser usado, y en su lugar se debe usar $_SERVER['HTTP_REFERER']. Más información en
http://www.php.net/security.globals. Ahora, respondiendo a la pregunta inicial, una solución más eficaz sería guardar en una variable de sesión la URL de la página a la que quieres volver, para luego tomar esta variable y hacer la redirección con header('Location: ...');. Todo depende de lo que deseas hacer (el fin)Saludos,
