original_string: public function killWww()
      {
          $host = $_SERVER['SERVER_NAME'];
          if (stripos($host, 'www.') === 0) {
              $host = substr_replace($host, '', 0, 4);
              $uri = $_SERVER['REQUEST_URI'];
              header("HTTP/1.1 301 Moved Permanently");
  
              if ('/' == $uri[0]) {
                  header('Location: http://' . $host . $uri);
              } else {
                  header('Location: http://' . $host . '/' . $uri);
              }
  
              die;
          }
  
          return $this;
      }
code: public function killWww()
      {
          $host = $_SERVER['SERVER_NAME'];
          if (stripos($host, 'www.') === 0) {
              $host = substr_replace($host, '', 0, 4);
              $uri = $_SERVER['REQUEST_URI'];
              header("HTTP/1.1 301 Moved Permanently");
  
              if ('/' == $uri[0]) {
                  header('Location: http://' . $host . $uri);
              } else {
                  header('Location: http://' . $host . '/' . $uri);
              }
  
              die;
          }
  
          return $this;
      }
code_tokens: public function killWww ( ) { $ host = $ _SERVER [ 'SERVER_NAME' ] ; if ( stripos ( $ host , 'www.' ) === 0 ) { $ host = substr_replace ( $ host , '' , 0 , 4 ) ; $ uri = $ _SERVER [ 'REQUEST_URI' ] ; header ( "HTTP/1.1 301 Moved Permanently" ) ; if ( '/' == $ uri [ 0 ] ) { header ( 'Location: http://' . $ host . $ uri ) ; } else { header ( 'Location: http://' . $ host . '/' . $ uri ) ; } die ; } return $ this ; }
docstring: Redirect from www.hostname to hostname
  
  @return Application
docstring_tokens: Redirect from www . hostname to hostname