weno... eso no es culpa del PHP, se debe a tu mal Javascript
Código PHP:
location=url;
// esta mal, debe ser asi...
document.location.href=url;
pero recuerda, esto es Javascript.... aun bien, puedes hacer con PHP
Código PHP:
header('Location: index.php?mensaje=XXX');
digo, osea... no te salen errores, simplemente no redireccionaba???