ar() . $_REQUEST['path']; } /* * Redirect to the given URL and die */ function redirectTo($url) { header("Location: " . $url); exit; } } ?>