SessionManager: Save user name to metadata even if the user doesn't exist locally
[mediawiki.git] / includes / user / 
tree9a51197e54db9609e377138dda3d8b20566f229b
drwxr-xr-x   ..
-rw-r--r-- 12432 BotPassword.php
-rw-r--r-- 8045 CentralIdLookup.php
-rw-r--r-- 3883 LocalIdLookup.php
-rw-r--r-- 1432 LoggedOutEditToken.php
-rw-r--r-- 157209 User.php
-rw-r--r-- 2371 UserArray.php
-rw-r--r-- 1904 UserArrayFromResult.php
-rw-r--r-- 2083 UserNamePrefixSearch.php
-rw-r--r-- 7170 UserRightsProxy.php