Pues si lo quieres meter dentro del php, hazlo como te dice nuestro compañero, pero modificando un poquito en su estructura, pero de todas formas, debe tirarte el script.
Código:
<?php
echo "<script language='javascript'>";
echo "location.href='pagina.php?mens=$mensaje'";
echo "</script>";
?>
Saludos