MediaWiki  master
SessionId.php
Go to the documentation of this file.
1 <?php
24 namespace MediaWiki\Session;
25 
38 final class SessionId {
40  private $id;
41 
45  public function __construct( $id ) {
46  $this->id = $id;
47  }
48 
53  public function getId() {
54  return $this->id;
55  }
56 
62  public function setId( $id ) {
63  $this->id = $id;
64  }
65 
66  public function __toString() {
67  return $this->id;
68  }
69 
70 }
MediaWiki\Session\SessionId\$id
string $id
Definition: SessionId.php:40
MediaWiki\Session\SessionId\getId
getId()
Get the ID.
Definition: SessionId.php:53
MediaWiki\Session
Definition: BotPasswordSessionProvider.php:24
MediaWiki\Session\SessionId\setId
setId( $id)
Set the ID.
Definition: SessionId.php:62
MediaWiki\Session\SessionId\__construct
__construct( $id)
Definition: SessionId.php:45
MediaWiki\Session\SessionId\__toString
__toString()
Definition: SessionId.php:66
MediaWiki\Session\SessionId
Value object holding the session ID in a manner that can be globally updated.
Definition: SessionId.php:38