SessionManager: Save user name to metadata even if the user doesn't exist locally
[mediawiki.git] / includes / session / 
tree446e1d8c093596c035d391e57cdabcd6e9ab9053
drwxr-xr-x   ..
-rw-r--r-- 4841 BotPasswordSessionProvider.php
-rw-r--r-- 11018 CookieSessionProvider.php
-rw-r--r-- 4920 ImmutableSessionProviderWithCookie.php
-rw-r--r-- 10907 PHPSessionHandler.php
-rw-r--r-- 10192 Session.php
-rw-r--r-- 17947 SessionBackend.php
-rw-r--r-- 1760 SessionId.php
-rw-r--r-- 7401 SessionInfo.php
-rw-r--r-- 30921 SessionManager.php
-rw-r--r-- 3179 SessionManagerInterface.php
-rw-r--r-- 18073 SessionProvider.php
-rw-r--r-- 1477 SessionProviderInterface.php
-rw-r--r-- 3251 Token.php
-rw-r--r-- 4944 UserInfo.php