SessionManagerInterface.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Session;
 
use Psr\Log\LoggerAwareInterface;
use User;
use WebRequest;
 
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();
 
}