MediaWiki REL1_31
|
Value object holding the session ID in a manner that can be globally updated. More...
Public Member Functions | |
__construct ( $id) | |
__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.
Definition at line 38 of file SessionId.php.
MediaWiki\Session\SessionId::__construct | ( | $id | ) |
string | $id |
Definition at line 45 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
MediaWiki\Session\SessionId::__toString | ( | ) |
Definition at line 66 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
MediaWiki\Session\SessionId::getId | ( | ) |
Get the ID.
Definition at line 53 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
Referenced by MediaWiki\Session\SessionBackend\__construct().
MediaWiki\Session\SessionId::setId | ( | $id | ) |
Set the ID.
string | $id |
Definition at line 62 of file SessionId.php.
References MediaWiki\Session\SessionId\$id.
|
private |
Definition at line 40 of file SessionId.php.
Referenced by MediaWiki\Session\SessionId\__construct(), MediaWiki\Session\SessionId\__toString(), MediaWiki\Session\SessionId\getId(), and MediaWiki\Session\SessionId\setId().