MediaWiki REL1_34
|
This is the actual workhorse for Session. More...
Public Member Functions | |
__construct (SessionId $id, SessionInfo $info, CachedBagOStuff $store, LoggerInterface $logger, $lifetime) | |
addData (array $newData) | |
Add data to the session. | |
canSetUser () | |
Indicate whether the session user info can be changed. | |
delaySave () | |
Delay automatic saving while multiple updates are being made. | |
deregisterSession ( $index) | |
Deregister a Session. | |
dirty () | |
Mark data as dirty. | |
getAllowedUserRights () | |
Fetch the rights allowed the user when this session is active. | |
& | getData () |
Fetch the session data array. | |
getId () | |
Returns the session ID. | |
getLoggedOutTimestamp () | |
Fetch the "logged out" timestamp. | |
getProvider () | |
Fetch the SessionProvider for this session. | |
getProviderMetadata () | |
Fetch provider metadata. | |
getRequest ( $index) | |
Returns the request associated with a Session. | |
getSession (WebRequest $request) | |
Return a new Session for this backend. | |
getSessionId () | |
Fetch the SessionId object. | |
getUser () | |
Returns the authenticated user for this session. | |
isPersistent () | |
Indicate whether this session is persisted across requests. | |
persist () | |
Make this session persisted across requests. | |
renew () | |
Renew the session by resaving everything. | |
resetId () | |
Changes the session ID. | |
save ( $closing=false) | |
Save the session. | |
setForceHTTPS ( $force) | |
Set whether HTTPS should be forced. | |
setLoggedOutTimestamp ( $ts=null) | |
Set the "logged out" timestamp. | |
setProviderMetadata ( $metadata) | |
Set provider metadata. | |
setRememberUser ( $remember) | |
Set whether the user should be remembered independently of the session ID. | |
setUser ( $user) | |
Set a new user for this session. | |
shouldForceHTTPS () | |
Whether HTTPS should be forced. | |
shouldRememberUser () | |
Indicate whether the user should be remembered independently of the session ID. | |
shutdown () | |
Shut down a session. | |
suggestLoginUsername ( $index) | |
Get a suggested username for the login form. | |
unpersist () | |
Make this session not persisted across requests. | |
Private Member Functions | |
autosave () | |
Save the session, unless delayed. | |
checkPHPSession () | |
For backwards compatibility, open the PHP session when the global session is persisted. | |
Private Attributes | |
bool | $checkPHPSessionRecursionGuard = false |
int | $curIndex = 0 |
array null | $data = null |
bool | $dataDirty = false |
string | $dataHash = null |
Used to detect subarray modifications. | |
int | $delaySave = 0 |
int | $expires = 0 |
bool | $forceHTTPS = false |
bool | $forcePersist = false |
SessionId | $id |
int | $lifetime |
int | $loggedOut = 0 |
LoggerInterface | $logger |
bool | $metaDirty = false |
bool | $persist = false |
SessionProvider | $provider |
provider | |
array null | $providerMetadata = null |
provider-specified metadata | |
bool | $remember = false |
WebRequest[] | $requests = [] |
Session requests. | |
bool | $shutdown = false |
CachedBagOStuff | $store |
bool | $usePhpSessionHandling = true |
User | $user |
This is the actual workhorse for Session.
Most code does not need to use this class, you want \MediaWiki\Session\Session. The exceptions are SessionProviders and SessionMetadata hook functions, which get an instance of this class rather than Session.
The reasons for this split are:
Definition at line 50 of file SessionBackend.php.
MediaWiki\Session\SessionBackend::__construct | ( | SessionId | $id, |
SessionInfo | $info, | ||
CachedBagOStuff | $store, | ||
LoggerInterface | $logger, | ||
$lifetime | |||
) |
SessionId | $id | |
SessionInfo | $info | Session info to populate from |
CachedBagOStuff | $store | Backend data store |
LoggerInterface | $logger | |
int | $lifetime | Session data lifetime in seconds |
Definition at line 126 of file SessionBackend.php.
References $blob, MediaWiki\Session\SessionBackend\$id, MediaWiki\Session\SessionBackend\$lifetime, MediaWiki\Session\SessionBackend\$logger, MediaWiki\Session\SessionBackend\$store, MediaWiki\Session\SessionInfo\forceHTTPS(), CachedBagOStuff\get(), MediaWiki\Session\SessionId\getId(), MediaWiki\Session\SessionInfo\getId(), MediaWiki\Session\SessionInfo\getProvider(), MediaWiki\Session\SessionInfo\getProviderMetadata(), MediaWiki\Session\SessionInfo\getUserInfo(), CachedBagOStuff\makeKey(), MediaWiki\Session\SessionBackend\persist(), serialize(), MediaWiki\Session\SessionInfo\wasPersisted(), and MediaWiki\Session\SessionInfo\wasRemembered().
MediaWiki\Session\SessionBackend::addData | ( | array | $newData | ) |
Add data to the session.
Overwrites any existing data under the same keys.
array | $newData | Key-value pairs to add to the session |
Definition at line 548 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$data, MediaWiki\Session\SessionBackend\getData(), and wfGetAllCallers().
Referenced by MediaWiki\Session\CookieSessionProvider\persistSession().
|
private |
Save the session, unless delayed.
Definition at line 627 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\delaySave(), and MediaWiki\Session\SessionBackend\save().
Referenced by MediaWiki\Session\SessionBackend\persist(), MediaWiki\Session\SessionBackend\renew(), MediaWiki\Session\SessionBackend\resetId(), MediaWiki\Session\SessionBackend\setForceHTTPS(), MediaWiki\Session\SessionBackend\setLoggedOutTimestamp(), MediaWiki\Session\SessionBackend\setProviderMetadata(), MediaWiki\Session\SessionBackend\setRememberUser(), MediaWiki\Session\SessionBackend\setUser(), and MediaWiki\Session\SessionBackend\unpersist().
MediaWiki\Session\SessionBackend::canSetUser | ( | ) |
Indicate whether the session user info can be changed.
Definition at line 407 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\setUser().
|
private |
For backwards compatibility, open the PHP session when the global session is persisted.
Definition at line 773 of file SessionBackend.php.
References MediaWiki\Session\SessionManager\getGlobalSession(), MediaWiki\Session\SessionBackend\getId(), and MediaWiki\Session\PHPSessionHandler\isEnabled().
Referenced by MediaWiki\Session\SessionBackend\save().
MediaWiki\Session\SessionBackend::delaySave | ( | ) |
Delay automatic saving while multiple updates are being made.
Calls to save() will not be delayed.
Definition at line 613 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\delaySave(), and MediaWiki\Session\SessionBackend\save().
Referenced by MediaWiki\Session\SessionBackend\autosave(), and MediaWiki\Session\SessionBackend\delaySave().
MediaWiki\Session\SessionBackend::deregisterSession | ( | $index | ) |
Deregister a Session.
int | $index |
Definition at line 204 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\save(), and MediaWiki\Session\SessionBackend\shutdown().
MediaWiki\Session\SessionBackend::dirty | ( | ) |
Mark data as dirty.
Definition at line 568 of file SessionBackend.php.
References wfGetAllCallers().
MediaWiki\Session\SessionBackend::getAllowedUserRights | ( | ) |
Fetch the rights allowed the user when this session is active.
Definition at line 399 of file SessionBackend.php.
& MediaWiki\Session\SessionBackend::getData | ( | ) |
Fetch the session data array.
Note the caller is responsible for calling $this->dirty() if anything in the array is changed.
Definition at line 537 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$data.
Referenced by MediaWiki\Session\SessionBackend\addData().
MediaWiki\Session\SessionBackend::getId | ( | ) |
Returns the session ID.
Definition at line 225 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$id.
Referenced by MediaWiki\Session\SessionBackend\checkPHPSession(), MediaWiki\Session\SessionManager\deregisterSessionBackend(), MediaWiki\Session\CookieSessionProvider\persistSession(), and MediaWiki\Session\ImmutableSessionProviderWithCookie\persistSession().
MediaWiki\Session\SessionBackend::getLoggedOutTimestamp | ( | ) |
Fetch the "logged out" timestamp.
Definition at line 476 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$loggedOut.
Referenced by MediaWiki\Session\CookieSessionProvider\persistSession().
MediaWiki\Session\SessionBackend::getProvider | ( | ) |
Fetch the SessionProvider for this session.
Definition at line 282 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$provider.
Referenced by MediaWiki\Session\BotPasswordSessionProvider\getAllowedUserRights(), and MediaWiki\Session\SessionProvider\getAllowedUserRights().
MediaWiki\Session\SessionBackend::getProviderMetadata | ( | ) |
Fetch provider metadata.
Definition at line 503 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$providerMetadata.
Referenced by MediaWiki\Session\BotPasswordSessionProvider\getAllowedUserRights().
MediaWiki\Session\SessionBackend::getRequest | ( | $index | ) |
Returns the request associated with a Session.
int | $index | Session index |
Definition at line 380 of file SessionBackend.php.
MediaWiki\Session\SessionBackend::getSession | ( | WebRequest | $request | ) |
Return a new Session for this backend.
WebRequest | $request |
Definition at line 192 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$curIndex.
MediaWiki\Session\SessionBackend::getSessionId | ( | ) |
Fetch the SessionId object.
Definition at line 234 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$id.
Referenced by MediaWiki\Session\SessionManager\changeBackendId(), MediaWiki\Session\SessionManager\deregisterSessionBackend(), and MediaWiki\Session\SessionBackend\save().
MediaWiki\Session\SessionBackend::getUser | ( | ) |
Returns the authenticated user for this session.
Definition at line 391 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$user.
Referenced by MediaWiki\Session\CookieSessionProvider\persistSession(), and MediaWiki\Session\ImmutableSessionProviderWithCookie\persistSession().
MediaWiki\Session\SessionBackend::isPersistent | ( | ) |
Indicate whether this session is persisted across requests.
For example, if cookies are set.
Definition at line 293 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$persist.
MediaWiki\Session\SessionBackend::persist | ( | ) |
Make this session persisted across requests.
If the session is already persistent, equivalent to calling $this->renew().
Definition at line 303 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\autosave(), MediaWiki\Session\SessionBackend\persist(), and MediaWiki\Session\SessionBackend\renew().
Referenced by MediaWiki\Session\SessionBackend\__construct(), MediaWiki\Session\SessionBackend\persist(), MediaWiki\Session\SessionBackend\renew(), MediaWiki\Session\SessionBackend\save(), and MediaWiki\Session\SessionBackend\unpersist().
MediaWiki\Session\SessionBackend::renew | ( | ) |
Renew the session by resaving everything.
Resets the TTL in the backend store if the session is near expiring, and re-persists the session to any active WebRequests if persistent.
Definition at line 584 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\autosave(), MediaWiki\Session\SessionBackend\persist(), and wfGetAllCallers().
Referenced by MediaWiki\Session\SessionBackend\persist().
MediaWiki\Session\SessionBackend::resetId | ( | ) |
Changes the session ID.
Definition at line 242 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$id, MediaWiki\Session\SessionBackend\autosave(), and MediaWiki\Session\PHPSessionHandler\isEnabled().
MediaWiki\Session\SessionBackend::save | ( | $closing = false | ) |
Save the session.
Update both the backend data and the associated WebRequest(s) to reflect the state of the SessionBackend. This might include persisting or unpersisting the session.
bool | $closing | Whether the session is being closed |
Definition at line 642 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$forceHTTPS, MediaWiki\Session\SessionBackend\$lifetime, MediaWiki\Session\SessionBackend\$loggedOut, MediaWiki\Session\SessionBackend\$persist, MediaWiki\Session\SessionBackend\$remember, MediaWiki\Session\SessionBackend\$user, MediaWiki\Session\SessionBackend\checkPHPSession(), MediaWiki\Session\SessionBackend\getSessionId(), User\isValidUserName(), MediaWiki\Session\SessionBackend\persist(), User\saveSettings(), serialize(), and wfReadOnly().
Referenced by MediaWiki\Session\SessionBackend\autosave(), MediaWiki\Session\SessionBackend\delaySave(), MediaWiki\Session\SessionBackend\deregisterSession(), and MediaWiki\Session\SessionBackend\shutdown().
MediaWiki\Session\SessionBackend::setForceHTTPS | ( | $force | ) |
Set whether HTTPS should be forced.
bool | $force |
Definition at line 459 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\autosave().
MediaWiki\Session\SessionBackend::setLoggedOutTimestamp | ( | $ts = null | ) |
Set the "logged out" timestamp.
int | null | $ts |
Definition at line 484 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\autosave().
MediaWiki\Session\SessionBackend::setProviderMetadata | ( | $metadata | ) |
Set provider metadata.
array | null | $metadata |
Definition at line 512 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\autosave().
MediaWiki\Session\SessionBackend::setRememberUser | ( | $remember | ) |
Set whether the user should be remembered independently of the session ID.
bool | $remember |
Definition at line 362 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$remember, and MediaWiki\Session\SessionBackend\autosave().
MediaWiki\Session\SessionBackend::setUser | ( | $user | ) |
Set a new user for this session.
User | $user | User to set on the session. This may become a "UserValue" in the future, or User may be refactored into such. |
Definition at line 418 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$user, MediaWiki\Session\SessionBackend\autosave(), and MediaWiki\Session\SessionBackend\canSetUser().
MediaWiki\Session\SessionBackend::shouldForceHTTPS | ( | ) |
Whether HTTPS should be forced.
Definition at line 451 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$forceHTTPS.
Referenced by MediaWiki\Session\CookieSessionProvider\persistSession(), and MediaWiki\Session\ImmutableSessionProviderWithCookie\persistSession().
MediaWiki\Session\SessionBackend::shouldRememberUser | ( | ) |
Indicate whether the user should be remembered independently of the session ID.
Definition at line 353 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\$remember.
Referenced by MediaWiki\Session\CookieSessionProvider\persistSession().
MediaWiki\Session\SessionBackend::shutdown | ( | ) |
Shut down a session.
Definition at line 216 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\save(), and MediaWiki\Session\SessionBackend\shutdown().
Referenced by MediaWiki\Session\SessionBackend\deregisterSession(), and MediaWiki\Session\SessionBackend\shutdown().
MediaWiki\Session\SessionBackend::suggestLoginUsername | ( | $index | ) |
Get a suggested username for the login form.
int | $index | Session index |
Definition at line 440 of file SessionBackend.php.
MediaWiki\Session\SessionBackend::unpersist | ( | ) |
Make this session not persisted across requests.
Definition at line 322 of file SessionBackend.php.
References MediaWiki\Session\SessionBackend\autosave(), MediaWiki\Session\PHPSessionHandler\isEnabled(), and MediaWiki\Session\SessionBackend\persist().
|
private |
Definition at line 114 of file SessionBackend.php.
|
private |
Definition at line 91 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\getSession().
|
private |
Definition at line 64 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\addData(), and MediaWiki\Session\SessionBackend\getData().
|
private |
Definition at line 73 of file SessionBackend.php.
|
private |
Used to detect subarray modifications.
Definition at line 76 of file SessionBackend.php.
|
private |
Definition at line 109 of file SessionBackend.php.
|
private |
Definition at line 103 of file SessionBackend.php.
|
private |
Definition at line 61 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\save(), and MediaWiki\Session\SessionBackend\shouldForceHTTPS().
|
private |
Definition at line 67 of file SessionBackend.php.
|
private |
Definition at line 52 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\__construct(), MediaWiki\Session\SessionBackend\getId(), MediaWiki\Session\SessionBackend\getSessionId(), and MediaWiki\Session\SessionBackend\resetId().
|
private |
Definition at line 85 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\__construct(), and MediaWiki\Session\SessionBackend\save().
|
private |
Definition at line 106 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\getLoggedOutTimestamp(), and MediaWiki\Session\SessionBackend\save().
|
private |
Definition at line 82 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\__construct().
|
private |
Definition at line 70 of file SessionBackend.php.
|
private |
Definition at line 55 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\isPersistent(), and MediaWiki\Session\SessionBackend\save().
|
private |
provider
Definition at line 97 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\getProvider().
|
private |
provider-specified metadata
Definition at line 100 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\getProviderMetadata().
|
private |
Definition at line 58 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\save(), MediaWiki\Session\SessionBackend\setRememberUser(), and MediaWiki\Session\SessionBackend\shouldRememberUser().
|
private |
Session requests.
Definition at line 94 of file SessionBackend.php.
|
private |
Definition at line 117 of file SessionBackend.php.
|
private |
Definition at line 79 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\__construct().
|
private |
Definition at line 112 of file SessionBackend.php.
|
private |
Definition at line 88 of file SessionBackend.php.
Referenced by MediaWiki\Session\SessionBackend\getUser(), MediaWiki\Session\SessionBackend\save(), and MediaWiki\Session\SessionBackend\setUser().