wikimedia / mediawiki

	public function unpersist() {

		if ( $this->persist ) {

			// Close the PHP session, if we're the one that's open

			if ( $this->usePhpSessionHandling && PHPSessionHandler::isEnabled() &&

				session_id() === (string)$this->id

			) {

				$this->logger->debug(

					'SessionBackend "{session}" Closing PHP session for unpersist',

					[ 'session' => $this->id ]

				);

				session_write_close();

				session_id( '' );

			}

			$this->persist = false;

			$this->forcePersist = true;

				$this->checkPHPSessionRecursionGuard = false;

			} );

			if ( $this->usePhpSessionHandling && session_id() === '' && PHPSessionHandler::isEnabled() &&

				SessionManager::getGlobalSession()->getId() === (string)$this->id

			) {

				$this->logger->debug(

					'SessionBackend "{session}" Taking over PHP session',

					[

						'session' => $this->id,

				] );

				session_id( (string)$this->id );

				\MediaWiki\quietCall( 'session_start' );

			}

		}

	}