InstallerSessionProvider.php

Go to the documentation of this file.

<?php
use MediaWiki\Session\SessionBackend;
use MediaWiki\Session\SessionInfo;
use MediaWiki\Session\SessionProvider;
 
class InstallerSessionProvider extends SessionProvider {
    public function provideSessionInfo( WebRequest $request ) {
        return new SessionInfo( 1, [
            'provider' => $this,
            'id' => str_repeat( 'x', 32 ),
        ] );
    }
 
    public function persistsSessionId() {
        return true;
    }
 
    public function canChangeUser() {
        return true;
    }
 
    public function persistSession( SessionBackend $session, WebRequest $request ) {
    }
 
    public function unpersistSession( WebRequest $request ) {
    }
}