original_string: public function expireSessionCookie(): void
      {
          if (ini_get('session.use_cookies')) {
              $params = session_get_cookie_params();
              setcookie(
                  $this->getName(),
                  '',
                  $_SERVER['REQUEST_TIME'] - 42000,
                  $params['path'],
                  $params['domain'],
                  $params['secure'],
                  $params['httponly']
              );
          }
      }
code: public function expireSessionCookie(): void
      {
          if (ini_get('session.use_cookies')) {
              $params = session_get_cookie_params();
              setcookie(
                  $this->getName(),
                  '',
                  $_SERVER['REQUEST_TIME'] - 42000,
                  $params['path'],
                  $params['domain'],
                  $params['secure'],
                  $params['httponly']
              );
          }
      }
code_tokens: public function expireSessionCookie ( ) : void { if ( ini_get ( 'session.use_cookies' ) ) { $ params = session_get_cookie_params ( ) ; setcookie ( $ this -> getName ( ) , '' , $ _SERVER [ 'REQUEST_TIME' ] - 42000 , $ params [ 'path' ] , $ params [ 'domain' ] , $ params [ 'secure' ] , $ params [ 'httponly' ] ) ; } }
docstring: Expire the session cookie
  
  Sends a session cookie with no value, and with an expiry in the past.
  
  @return void
docstring_tokens: Expire the session cookie