Bartosz Dziewoński 485f66f174 Use PHP 7 '??' operator instead of '?:' with 'isset()' where convenient ... Find: /isset\(\s*([^()]+?)\s*\)\s*\?\s*\1\s*:\s*/ Replace with: '\1 ?? ' (Everywhere except includes/PHPVersionCheck.php) (Then, manually fix some line length and indentation issues) Then manually reviewed the replacements for cases where confusing operator precedence would result in incorrect results (fixing those in I478db046a1cc162c6767003ce45c9b56270f3372). Change-Id: I33b421c8cb11cdd4ce896488c9ff5313f03a38cf		2018-05-30 18:06:13 -07: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	Add ExternalUserNames::getLocal() to get local part of username	2018-03-09 20:53:54 +01: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	Replace selectFields() methods with getQueryInfo()	2017-10-30 22:57:33 +00:00
User.php	Use PHP 7 '??' operator instead of '?:' with 'isset()' where convenient	2018-05-30 18:06:13 -07: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	Remove else from UserGroupMembership	2018-05-18 19:52:40 +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