MediaWiki REL1_35
|
Value object holding the session ID in a manner that can be globally updated. More...
Public Member Functions | |
__construct ( $id) | |
Stable to call. | |
__toString () | |
getId () | |
Get the ID. | |
setId ( $id) | |
Set the ID. | |
Private Attributes | |
string | $id |
Value object holding the session ID in a manner that can be globally updated.
This class exists because we want WebRequest to refer to the session, but it can't hold the Session itself due to issues with circular references and it can't just hold the ID as a string because we need to be able to update the ID when SessionBackend::resetId() is called.
@newable
Definition at line 40 of file SessionId.php.
MediaWiki\Session\SessionId::__construct | ( | $id | ) |
Stable to call.
string | $id |
Definition at line 49 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
MediaWiki\Session\SessionId::__toString | ( | ) |
Definition at line 70 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
MediaWiki\Session\SessionId::getId | ( | ) |
Get the ID.
Definition at line 57 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
Referenced by MediaWiki\Session\SessionBackend\__construct().
MediaWiki\Session\SessionId::setId | ( | $id | ) |
Set the ID.
Definition at line 66 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
|
private |
Definition at line 42 of file SessionId.php.
Referenced by MediaWiki\Session\SessionId\__construct(), MediaWiki\Session\SessionId\__toString(), MediaWiki\Session\SessionId\getId(), and MediaWiki\Session\SessionId\setId().