MediaWiki
1.30.0
|
Files | |
file | BotPasswordSessionProvider.php [code] |
Session provider for bot passwords. | |
file | CookieSessionProvider.php [code] |
MediaWiki cookie-based session provider interface. | |
file | ImmutableSessionProviderWithCookie.php [code] |
MediaWiki session provider base class. | |
file | MetadataMergeException.php [code] |
file | PHPSessionHandler.php [code] |
Session storage in object cache. | |
file | Session.php [code] |
MediaWiki session. | |
file | SessionBackend.php [code] |
MediaWiki session backend. | |
file | SessionId.php [code] |
MediaWiki session ID holder. | |
file | SessionInfo.php [code] |
MediaWiki session info. | |
file | SessionManager.php [code] |
MediaWiki\Session entry point. | |
file | SessionManagerInterface.php [code] |
MediaWiki\Session entry point interface. | |
file | SessionProvider.php [code] |
MediaWiki session provider base class. | |
file | SessionProviderInterface.php [code] |
MediaWiki\Session\Provider interface. | |
file | Token.php [code] |
MediaWiki session token. | |
file | UserInfo.php [code] |
MediaWiki session user info. | |