rdbms: Avoid selectDB() call in LoadMonitor new connections
[mediawiki.git] / includes / user / 
tree061a8475d02d4d58bcaa6f7fe4550021979990fc
drwxr-xr-x   ..
-rw-r--r-- 14035 BotPassword.php
-rw-r--r-- 8023 CentralIdLookup.php
-rw-r--r-- 3637 LocalIdLookup.php
-rw-r--r-- 1412 LoggedOutEditToken.php
-rw-r--r-- 10393 PasswordReset.php
-rw-r--r-- 167552 User.php
-rw-r--r-- 2414 UserArray.php
-rw-r--r-- 1936 UserArrayFromResult.php
-rw-r--r-- 12665 UserGroupMembership.php
-rw-r--r-- 2050 UserNamePrefixSearch.php
-rw-r--r-- 7256 UserRightsProxy.php