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.
MediaWiki\Session
Definition:
BotPasswordSessionProvider.php:24
includes
session
SessionManagerInterface.php
Generated on Sat Sep 30 2023 06:09:41 for MediaWiki by
1.9.1