Escuche una vez que el redireccionamiento con php[header()] es un poco inseguro(lo vi en un foro hacker leyendo como evitar injecciones sql), nosé si en estas versiones esta fixeado el error, si quieres el de javascript es el siguiente:
Código PHP:
if($tamano > 512000) {
echo "La imagen es muy pesada.<br />";
echo "Serás redireccionado en 5 segundos a la pagina anterior ...";?>
<script LANGUAGE="JavaScript">
function redireccionar()
{
javascript
:history.go(-1)
}
setTimeout ("redireccionar()", 5000);
</script>
es un ejemplo, exit; funciona para escapar de script, es decir, detiene el script definitivamente, aunque tambien si desactivan javascript en el navegador no se puede redireccionar.
Trata de usar las dos cosas si deseas, son unas lineas más de codigo ...
Mucha suerte!