SessionManager: Change behavior of getSessionById()
[mediawiki.git] / includes / session / 
tree704b1ce27515e39f5b4d3aef3abd24b3fac7536c
drwxr-xr-x   ..
-rw-r--r-- 4841 BotPasswordSessionProvider.php
-rw-r--r-- 9423 CookieSessionProvider.php
-rw-r--r-- 4920 ImmutableSessionProviderWithCookie.php
-rw-r--r-- 10741 PHPSessionHandler.php
-rw-r--r-- 8800 Session.php
-rw-r--r-- 17176 SessionBackend.php
-rw-r--r-- 1760 SessionId.php
-rw-r--r-- 7401 SessionInfo.php
-rw-r--r-- 30767 SessionManager.php
-rw-r--r-- 3769 SessionManagerInterface.php
-rw-r--r-- 18073 SessionProvider.php
-rw-r--r-- 1477 SessionProviderInterface.php
-rw-r--r-- 4950 UserInfo.php