original_string: public static function redirect($url, $status = 302, $headers = array())
      {
          $redirect = new RedirectResponse($url, $status, $headers);
          $redirect->sendHeaders();
          die();
      }
code: public static function redirect($url, $status = 302, $headers = array())
      {
          $redirect = new RedirectResponse($url, $status, $headers);
          $redirect->sendHeaders();
          die();
      }
code_tokens: public static function redirect ( $ url , $ status = 302 , $ headers = array ( ) ) { $ redirect = new RedirectResponse ( $ url , $ status , $ headers ) ; $ redirect -> sendHeaders ( ) ; die ( ) ; }
docstring: Redirect Response.
  
  @param string $url
  @param int    $status
  @param array  $headers
docstring_tokens: Redirect Response .