SessionManagerInterface.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Session;
 
use MediaWiki\Request\WebRequest;
use MediaWiki\User\User;
use Psr\Log\LoggerAwareInterface;
 
interface SessionManagerInterface extends LoggerAwareInterface {
    public function getSessionForRequest( WebRequest $request );
 
    public function getSessionById( $id, $create = false, WebRequest $request = null );
 
    public function getEmptySession( WebRequest $request = null );
 
    public function invalidateSessionsForUser( User $user );
 
    public function getVaryHeaders();
 
    public function getVaryCookies();
 
}