MediaWiki master
SessionId.php
Go to the documentation of this file.
1<?php
7namespace MediaWiki\Session;
8
9use Stringable;
10
23final 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}
Value object holding the session ID in a manner that can be globally updated.
Definition SessionId.php:23