|
MediaWiki
master
|

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. | |