REL1_34/php/SessionManagerInterface_8php_source.html

<?php

namespace MediaWiki\Session;


use Psr\Log\LoggerAwareInterface;

use User;

use WebRequest;


interface SessionManagerInterface extends LoggerAwareInterface {

    public function getSessionForRequest( WebRequest $request );


    public function getSessionById( $id, $create = false, WebRequest $request = null );


    public function getEmptySession( WebRequest $request = null );


    public function invalidateSessionsForUser( User $user );


    public function getVaryHeaders();


    public function getVaryCookies();


}


User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition User.php:51

WebRequest
The WebRequest class encapsulates getting at data passed in the URL or via a POSTed form stripping il...
Definition WebRequest.php:42

MediaWiki\Session\SessionManagerInterface
This exists to make IDEs happy, so they don't see the internal-but-required-to-be-public methods on S...
Definition SessionManagerInterface.php:37

MediaWiki\Session\SessionManagerInterface\getSessionForRequest
getSessionForRequest(WebRequest $request)
Fetch the session for a request (or a new empty session if none is attached to it)

MediaWiki\Session\SessionManagerInterface\getVaryCookies
getVaryCookies()
Return the list of cookies that need varying on.

MediaWiki\Session\SessionManagerInterface\getVaryHeaders
getVaryHeaders()
Return the HTTP headers that need varying on.

MediaWiki\Session\SessionManagerInterface\getSessionById
getSessionById( $id, $create=false, WebRequest $request=null)
Fetch a session by ID.

MediaWiki\Session\SessionManagerInterface\getEmptySession
getEmptySession(WebRequest $request=null)
Create a new, empty session.

MediaWiki\Session\SessionManagerInterface\invalidateSessionsForUser
invalidateSessionsForUser(User $user)
Invalidate sessions for a user.

MediaWiki\Session
Definition BotPasswordSessionProvider.php:24