MediaWiki
master
SessionId.php
Go to the documentation of this file.
1
<?php
24
namespace
MediaWiki\Session
;
25
26
use Stringable;
27
42
final
class
SessionId
implements
Stringable {
44
private
$id;
45
51
public
function
__construct
( $id ) {
52
$this->
id
= $id;
53
}
54
58
public
function
getId
() {
59
return
$this->id;
60
}
61
66
public
function
setId
( $id ) {
67
$this->
id
= $id;
68
}
69
70
public
function
__toString
() {
71
return
$this->id;
72
}
73
74
}
MediaWiki\Session\SessionId
Value object holding the session ID in a manner that can be globally updated.
Definition
SessionId.php:42
MediaWiki\Session\SessionId\__construct
__construct( $id)
Definition
SessionId.php:51
MediaWiki\Session\SessionId\setId
setId( $id)
Definition
SessionId.php:66
MediaWiki\Session\SessionId\getId
getId()
Definition
SessionId.php:58
MediaWiki\Session\SessionId\__toString
__toString()
Definition
SessionId.php:70
MediaWiki\Session
Definition
BotPasswordSessionProvider.php:24
includes
session
SessionId.php
Generated on Thu Oct 3 2024 16:25:35 for MediaWiki by
1.10.0