MediaWiki master
SessionManagerInterface.php
Go to the documentation of this file.
1<?php
24namespace MediaWiki\Session;
25
28use Psr\Log\LoggerAwareInterface;
29
37interface SessionManagerInterface extends LoggerAwareInterface {
52 public function getSessionForRequest( WebRequest $request );
53
64 public function getSessionById( $id, $create = false, WebRequest $request = null );
65
76 public function getEmptySession( WebRequest $request = null );
77
87 public function invalidateSessionsForUser( User $user );
88
101 public function getVaryHeaders();
102
107 public function getVaryCookies();
108
109}
The WebRequest class encapsulates getting at data passed in the URL or via a POSTed form,...
internal since 1.36
Definition User.php:94
This exists to make IDEs happy, so they don't see the internal-but-required-to-be-public methods on S...
getSessionForRequest(WebRequest $request)
Fetch the session for a request (or a new empty session if none is attached to it)
getVaryCookies()
Return the list of cookies that need varying on.
getVaryHeaders()
Return the HTTP headers that need varying on.
getSessionById( $id, $create=false, WebRequest $request=null)
Fetch a session by ID.
getEmptySession(WebRequest $request=null)
Create a new, empty session.
invalidateSessionsForUser(User $user)
Invalidate sessions for a user.