SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / session / 
tree3674845c17aea567b06dd798c41825bdc51018c9
drwxr-xr-x   ..
-rw-r--r-- 5331 BotPasswordSessionProvider.php
-rw-r--r-- 12121 CookieSessionProvider.php
-rw-r--r-- 4895 ImmutableSessionProviderWithCookie.php
-rw-r--r-- 1848 MetadataMergeException.php
-rw-r--r-- 10451 PHPSessionHandler.php
-rw-r--r-- 11570 Session.php
-rw-r--r-- 20174 SessionBackend.php
-rw-r--r-- 1757 SessionId.php
-rw-r--r-- 7272 SessionInfo.php
-rw-r--r-- 33543 SessionManager.php
-rw-r--r-- 3178 SessionManagerInterface.php
-rw-r--r-- 18119 SessionProvider.php
-rw-r--r-- 1477 SessionProviderInterface.php
-rw-r--r-- 3251 Token.php
-rw-r--r-- 4944 UserInfo.php