Umherirrender 130ec2523d Fix PhanTypeMismatchDeclaredParam ... Auto fix MediaWiki.Commenting.FunctionComment.DefaultNullTypeParam sniff Change-Id: I865323fd0295aabd06f3e3c75e0e5043fb31069e		2018-07-07 00:34:30 +00:00
..
BotPassword.php	Use PHP 7 '??' operator instead of '?:' with 'isset()' where convenient	2018-05-30 18:06:13 -07:00
CentralIdLookup.php	Use wikimedia/object-factory 1.0.0	2018-02-04 12:52:44 -08:00
ExternalUserNames.php	ExternalUserNames: Update partly incomplete documentation	2018-06-05 13:50:26 +02:00
LocalIdLookup.php	LocalIdLookup: Use DBAccessObjectUtils	2016-09-12 21:47:13 -07:00
LoggedOutEditToken.php	Change \\ to \ in phpdoc	2016-04-08 17:46:30 +00:00
PasswordReset.php	Fix PhanTypeMismatchDeclaredParam	2018-07-07 00:34:30 +00:00
User.php	Fix PhanTypeMismatchDeclaredParam	2018-07-07 00:34:30 +00:00
UserArray.php	Use IResultWrapper in UserArray and TitleArray	2018-04-06 00:06:35 +02:00
UserArrayFromResult.php	Use IResultWrapper in UserArray and TitleArray	2018-04-06 00:06:35 +02:00
UserGroupMembership.php	Fix PhanTypeMismatchDeclaredParam	2018-07-07 00:34:30 +00:00
UserIdentity.php	Add equals() to UserIdentity	2018-05-08 16:31:03 +02:00
UserIdentityValue.php	Add equals() to UserIdentity	2018-05-08 16:31:03 +02:00
UserNamePrefixSearch.php	Rename DB_SLAVE constant to DB_REPLICA	2016-09-05 22:55:53 -07:00
UserRightsProxy.php	Clean up wiki ID and DB domain ID handling	2017-09-30 10:25:03 +00:00