MediaWiki
master
SessionId.php
Go to the documentation of this file.
1
<?php
7
namespace
MediaWiki\Session
;
8
9
use Stringable;
10
23
final
class
SessionId
implements
Stringable {
25
private
$id;
26
32
public
function
__construct
( $id ) {
33
$this->
id
= $id;
34
}
35
39
public
function
getId
() {
40
return
$this->id;
41
}
42
47
public
function
setId
( $id ) {
48
$this->
id
= $id;
49
}
50
51
public
function
__toString
() {
52
return
$this->id;
53
}
54
55
}
MediaWiki\Session\SessionId
Value object holding the session ID in a manner that can be globally updated.
Definition
SessionId.php:23
MediaWiki\Session\SessionId\__construct
__construct( $id)
Definition
SessionId.php:32
MediaWiki\Session\SessionId\setId
setId( $id)
Definition
SessionId.php:47
MediaWiki\Session\SessionId\getId
getId()
Definition
SessionId.php:39
MediaWiki\Session\SessionId\__toString
__toString()
Definition
SessionId.php:51
MediaWiki\Session
Definition
BotPasswordSessionProvider.php:7
includes
Session
SessionId.php
Generated on Sun Nov 9 2025 18:26:43 for MediaWiki by
1.10.0