MediaWiki  master
SessionManagerInterface.php
Go to the documentation of this file.
1 <?php
24 namespace MediaWiki\Session;
25 
26 use MediaWiki\Request\WebRequest;
27 use MediaWiki\User\User;
28 use Psr\Log\LoggerAwareInterface;
29 
37 interface SessionManagerInterface extends LoggerAwareInterface {
52  public function getSessionForRequest( WebRequest $request );
53 
64  public function getSessionById( $id, $create = false, WebRequest $request = null );
65 
76  public function getEmptySession( WebRequest $request = null );
77 
87  public function invalidateSessionsForUser( User $user );
88 
101  public function getVaryHeaders();
102 
107  public function getVaryCookies();
108 
109 }
GuzzleHttp\Psr7\Request\WebRequest
The WebRequest class encapsulates getting at data passed in the URL or via a POSTed form stripping il...
Definition: WebRequest.php:50
MediaWiki\User\User
internal since 1.36
Definition: User.php:98
MediaWiki\Session\SessionManagerInterface
This exists to make IDEs happy, so they don't see the internal-but-required-to-be-public methods on S...
Definition: SessionManagerInterface.php:37
MediaWiki\Session\SessionManagerInterface\getSessionForRequest
getSessionForRequest(WebRequest $request)
Fetch the session for a request (or a new empty session if none is attached to it)
MediaWiki\Session\SessionManagerInterface\getVaryCookies
getVaryCookies()
Return the list of cookies that need varying on.
MediaWiki\Session\SessionManagerInterface\getVaryHeaders
getVaryHeaders()
Return the HTTP headers that need varying on.
MediaWiki\Session\SessionManagerInterface\getSessionById
getSessionById( $id, $create=false, WebRequest $request=null)
Fetch a session by ID.
MediaWiki\Session\SessionManagerInterface\getEmptySession
getEmptySession(WebRequest $request=null)
Create a new, empty session.
MediaWiki\Session\SessionManagerInterface\invalidateSessionsForUser
invalidateSessionsForUser(User $user)
Invalidate sessions for a user.