SessionId.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Session;
 
final class SessionId {
    private $id;
 
    public function __construct( $id ) {
        $this->id = $id;
    }
 
    public function getId() {
        return $this->id;
    }
 
    public function setId( $id ) {
        $this->id = $id;
    }
 
    public function __toString() {
        return $this->id;
    }
 
}