original_string: public function destroy()
      {
          $_SESSION = [];
          
          if ($this->cookieJar) {
              $this->cookieJar->remove($this->name());
          } else {
              $params = session_get_cookie_params();
              setcookie($this->name(), '', time() - 42000,
                  $params["path"], $params["domain"],
                  $params["secure"], $params["httponly"]
              );
          }
          
          session_destroy();
      }
code: public function destroy()
      {
          $_SESSION = [];
          
          if ($this->cookieJar) {
              $this->cookieJar->remove($this->name());
          } else {
              $params = session_get_cookie_params();
              setcookie($this->name(), '', time() - 42000,
                  $params["path"], $params["domain"],
                  $params["secure"], $params["httponly"]
              );
          }
          
          session_destroy();
      }
code_tokens: public function destroy ( ) { $ _SESSION = [ ] ; if ( $ this -> cookieJar ) { $ this -> cookieJar -> remove ( $ this -> name ( ) ) ; } else { $ params = session_get_cookie_params ( ) ; setcookie ( $ this -> name ( ) , '' , time ( ) - 42000 , $ params [ "path" ] , $ params [ "domain" ] , $ params [ "secure" ] , $ params [ "httponly" ] ) ; } session_destroy ( ) ; }
docstring: Destroys the PHP session.
docstring_tokens: Destroys the PHP session .