MediaWiki
REL1_37
SessionId.php
Go to the documentation of this file.
1
<?php
24
namespace
MediaWiki\Session
;
25
40
final
class
SessionId
{
42
private
$id
;
43
49
public
function
__construct
(
$id
) {
50
$this->
id
=
$id
;
51
}
52
56
public
function
getId
() {
57
return
$this->id
;
58
}
59
64
public
function
setId
(
$id
) {
65
$this->
id
=
$id
;
66
}
67
68
public
function
__toString
() {
69
return
$this->id
;
70
}
71
72
}
MediaWiki\Session\SessionId
Value object holding the session ID in a manner that can be globally updated.
Definition
SessionId.php:40
MediaWiki\Session\SessionId\__construct
__construct( $id)
Definition
SessionId.php:49
MediaWiki\Session\SessionId\setId
setId( $id)
Definition
SessionId.php:64
MediaWiki\Session\SessionId\getId
getId()
Definition
SessionId.php:56
MediaWiki\Session\SessionId\__toString
__toString()
Definition
SessionId.php:68
MediaWiki\Session\SessionId\$id
string $id
Definition
SessionId.php:42
MediaWiki\Session
Definition
BotPasswordSessionProvider.php:24
includes
session
SessionId.php
Generated on Fri Apr 5 2024 23:40:52 for MediaWiki by
1.9.8