MediaWiki REL1_35
|
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 |