AuthManager: Break AuthPlugin::addUser more explicitly
[mediawiki.git] / includes / user / 
tree6f109cf52f41d9092e7285af6930f6fd80e8eca0
drwxr-xr-x   ..
-rw-r--r-- 12312 BotPassword.php
-rw-r--r-- 8025 CentralIdLookup.php
-rw-r--r-- 3803 LocalIdLookup.php
-rw-r--r-- 1412 LoggedOutEditToken.php
-rw-r--r-- 8923 PasswordReset.php
-rw-r--r-- 167043 User.php
-rw-r--r-- 2346 UserArray.php
-rw-r--r-- 1904 UserArrayFromResult.php
-rw-r--r-- 2048 UserNamePrefixSearch.php
-rw-r--r-- 7090 UserRightsProxy.php