public function redirect($url, $use_ajax = false);
/** * Redirects an AJAX request to a non-JS version * * @param string $url URL to redirect to */ public function redirect_to_html($url) { $this->iohandler->redirect($url); $this->iohandler->send_response(true); }