potresti sostituirlo con questo? è equivalente

codice:
echo "<script type='text/javascript'>location.href='".$url."?ko';</script>";