MediaWiki
1.28.0
|
This is the complete list of members for MediaWiki\Session\SessionManagerInterface, including all inherited members.
getEmptySession(WebRequest $request=null) | MediaWiki\Session\SessionManagerInterface | |
getSessionById($id, $create=false, WebRequest $request=null) | MediaWiki\Session\SessionManagerInterface | |
getSessionForRequest(WebRequest $request) | MediaWiki\Session\SessionManagerInterface | |
getVaryCookies() | MediaWiki\Session\SessionManagerInterface | |
getVaryHeaders() | MediaWiki\Session\SessionManagerInterface | |
invalidateSessionsForUser(User $user) | MediaWiki\Session\SessionManagerInterface |