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