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