MediaWiki
1.28.0
|
This is the complete list of members for MediaWiki\Session\SessionId, including all inherited members.
$id | MediaWiki\Session\SessionId | private |
__construct($id) | MediaWiki\Session\SessionId | |
__toString() | MediaWiki\Session\SessionId | |
getId() | MediaWiki\Session\SessionId | |
setId($id) | MediaWiki\Session\SessionId |