Some of the double quotes needed to be escaped. (Besides the funky ¥
characters which have been removed)
function redirectTo($to) {
$url = $to;
print "<html><head><script>location.href='$url'</script>";
print "<meta HTTP-EQUIV=Refresh CONTENT=\"0; URL=$url\">";
print "</head><body>If you see this page, click <a href=\"$url\">here</a> to continue</body>";
print "</html>";
exit;
}
they (quotes) might have been accidently replaced with that character, using a Word processor of sorts.