MediaWiki
1.32.5
|
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 |