MediaWiki  master
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\$id
string $id
Definition: SessionId.php:42
MediaWiki\Session\SessionId\getId
getId()
Definition: SessionId.php:56
MediaWiki\Session
Definition: BotPasswordSessionProvider.php:24
MediaWiki\Session\SessionId\setId
setId( $id)
Definition: SessionId.php:64
MediaWiki\Session\SessionId\__construct
__construct( $id)
Definition: SessionId.php:49
MediaWiki\Session\SessionId\__toString
__toString()
Definition: SessionId.php:68
MediaWiki\Session\SessionId
Value object holding the session ID in a manner that can be globally updated.
Definition: SessionId.php:40