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