Merge ".mailmap: Correct two contributor names"master
[mediawiki.git] / includes / user / 
tree440904dd4372bbf007156675eb7f066779c0da64
drwxr-xr-x   ..
-rw-r--r-- 5080 ActorCache.php
-rw-r--r-- 2790 ActorMigration.php
-rw-r--r-- 12719 ActorMigrationBase.php
-rw-r--r-- 4328 ActorNormalization.php
-rw-r--r-- 25613 ActorStore.php
-rw-r--r-- 5577 ActorStoreFactory.php
-rw-r--r-- 14835 BotPassword.php
-rw-r--r-- 11918 BotPasswordStore.php
drwxr-xr-x - CentralId
-rw-r--r-- 5397 ExternalUserNames.php
drwxr-xr-x - Hook
-rw-r--r-- 1576 LoggedOutEditToken.php
drwxr-xr-x - Options
-rw-r--r-- 11800 PasswordReset.php
drwxr-xr-x - Registration
-rw-r--r-- 10654 TalkPageNotificationManager.php
drwxr-xr-x - TempUser
-rw-r--r-- 105033 User.php
-rw-r--r-- 3732 UserArray.php
-rw-r--r-- 2139 UserArrayFromResult.php
-rw-r--r-- 1828 UserEditCountInitJob.php
-rw-r--r-- 5995 UserEditTracker.php
-rw-r--r-- 12643 UserFactory.php
-rw-r--r-- 1324 UserGroupExpiryJob.php
-rw-r--r-- 41906 UserGroupManager.php
-rw-r--r-- 3979 UserGroupManagerFactory.php
-rw-r--r-- 8662 UserGroupMembership.php
-rw-r--r-- 2470 UserIdentity.php
-rw-r--r-- 2160 UserIdentityLookup.php
-rw-r--r-- 1355 UserIdentityUtils.php
-rw-r--r-- 4742 UserIdentityValue.php
-rw-r--r-- 3345 UserNamePrefixSearch.php
-rw-r--r-- 2108 UserNamePrefixSearch_deprecated.php
-rw-r--r-- 12257 UserNameUtils.php
-rw-r--r-- 1469 UserRigorOptions.php
-rw-r--r-- 7668 UserSelectQueryBuilder.php
-rw-r--r-- 8451 UserTimeCorrection.php