MediaWiki REL1_37
|
Value object holding the session ID in a manner that can be globally updated. More...
Public Member Functions | |
__construct ( $id) | |
__toString () | |
getId () | |
setId ( $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 | ) |
string | $id |
Definition at line 49 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
MediaWiki\Session\SessionId::__toString | ( | ) |
Definition at line 68 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
MediaWiki\Session\SessionId::getId | ( | ) |
Definition at line 56 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
Referenced by MediaWiki\Session\SessionBackend\__construct().
MediaWiki\Session\SessionId::setId | ( | $id | ) |
string | $id |
Definition at line 64 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().