SessionStore.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Session;
 
use Psr\Log\LoggerAwareInterface;
 
interface SessionStore extends LoggerAwareInterface {
 
    public function get( SessionInfo $sessionInfo );
 
    public function set( SessionInfo $sessionInfo, $value, $exptime = 0, $flags = 0 ): void;
 
    public function delete( SessionInfo $sessionInfo ): void;
 
    public function shutdown(): void;
}