original_string: final public function redirect($url = '', $options = array(), $full = false, $nolangcode = false)
      {
          if (!isset($url)) {
              return null;
          }
  
          if (!empty($url) && ($full || $this->isAbsolute($url))) {
              $url = filter_var($url, FILTER_SANITIZE_URL);
          } else {
  
              $target = $this->request->get('target', '', 'string');
  
              if (!empty($target)) {
                  $url = (string) parse_url($target, PHP_URL_PATH);
                  $parsed = parse_url($target, PHP_URL_QUERY);
                  $options = is_array($parsed) ? $parsed : array();
              }
  
              $url = $this->get($url, $options, false, $nolangcode);
          }
  
          header("Location: $url");
          exit;
      }
code: final public function redirect($url = '', $options = array(), $full = false, $nolangcode = false)
      {
          if (!isset($url)) {
              return null;
          }
  
          if (!empty($url) && ($full || $this->isAbsolute($url))) {
              $url = filter_var($url, FILTER_SANITIZE_URL);
          } else {
  
              $target = $this->request->get('target', '', 'string');
  
              if (!empty($target)) {
                  $url = (string) parse_url($target, PHP_URL_PATH);
                  $parsed = parse_url($target, PHP_URL_QUERY);
                  $options = is_array($parsed) ? $parsed : array();
              }
  
              $url = $this->get($url, $options, false, $nolangcode);
          }
  
          header("Location: $url");
          exit;
      }
code_tokens: final public function redirect ( $ url = '' , $ options = array ( ) , $ full = false , $ nolangcode = false ) { if ( ! isset ( $ url ) ) { return null ; } if ( ! empty ( $ url ) && ( $ full || $ this -> isAbsolute ( $ url ) ) ) { $ url = filter_var ( $ url , FILTER_SANITIZE_URL ) ; } else { $ target = $ this -> request -> get ( 'target' , '' , 'string' ) ; if ( ! empty ( $ target ) ) { $ url = ( string ) parse_url ( $ target , PHP_URL_PATH ) ; $ parsed = parse_url ( $ target , PHP_URL_QUERY ) ; $ options = is_array ( $ parsed ) ? $ parsed : array ( ) ; } $ url = $ this -> get ( $ url , $ options , false , $ nolangcode ) ; } header ( "Location: $url" ) ; exit ; }
docstring: Redirects the user to a new location
  @param string|null $url
  @param array $options
  @param boolean $full
  @param boolean $nolangcode
  @return null
docstring_tokens: Redirects the user to a new location