wikimedia / mediawiki

	 */

	public function deregisterSessionBackend( SessionBackend $backend ) {

		$id = $backend->getId();

		if ( !isset( $this->allSessionBackends[$id] ) || !isset( $this->allSessionIds[$id] ) ||

			$this->allSessionBackends[$id] !== $backend ||

			$this->allSessionIds[$id] !== $backend->getSessionId()

		) {

			throw new \InvalidArgumentException( 'Backend was not registered with this SessionManager' );

		}

		unset( $this->allSessionBackends[$id] );

		// Explicitly do not unset $this->allSessionIds[$id]

	public function changeBackendId( SessionBackend $backend ) {

		$sessionId = $backend->getSessionId();

		$oldId = (string)$sessionId;

		if ( !isset( $this->allSessionBackends[$oldId] ) || !isset( $this->allSessionIds[$oldId] ) ||

			$this->allSessionBackends[$oldId] !== $backend ||

			$this->allSessionIds[$oldId] !== $sessionId

		) {

			throw new \InvalidArgumentException( 'Backend was not registered with this SessionManager' );

		}

		$newId = $this->generateSessionId();