rdbms: Avoid selectDB() call in LoadMonitor new connections
[mediawiki.git] / includes / session / 
tree4a7f1d9d33269c1fe9ceeddab8f00b21b8c9beee
drwxr-xr-x   ..
-rw-r--r-- 5331 BotPasswordSessionProvider.php
-rw-r--r-- 13552 CookieSessionProvider.php
-rw-r--r-- 4858 ImmutableSessionProviderWithCookie.php
-rw-r--r-- 1803 MetadataMergeException.php
-rw-r--r-- 11572 PHPSessionHandler.php
-rw-r--r-- 19181 Session.php
-rw-r--r-- 20707 SessionBackend.php
-rw-r--r-- 1757 SessionId.php
-rw-r--r-- 8291 SessionInfo.php
-rw-r--r-- 29611 SessionManager.php
-rw-r--r-- 3601 SessionManagerInterface.php
-rw-r--r-- 19944 SessionProvider.php
-rw-r--r-- 1477 SessionProviderInterface.php
-rw-r--r-- 3253 Token.php
-rw-r--r-- 4944 UserInfo.php