jenkins-bot has submitted this change and it was merged.
Change subject: checkLocalUser: Fix --delete option
......................................................................
checkLocalUser: Fix --delete option
getOption() isn't going to return a boolean true, change the check to
make sure that it's not boolean false.
Change-Id: I009e5110afe77904eda1c6f256b2561736f75761
(cherry picked from commit 823677be0c230dfdc5e0745b3051e7ac5d52af70)
---
M maintenance/checkLocalUser.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/maintenance/checkLocalUser.php b/maintenance/checkLocalUser.php
index a47c012..45de2fc 100644
--- a/maintenance/checkLocalUser.php
+++ b/maintenance/checkLocalUser.php
@@ -28,7 +28,7 @@
$centralMaster = CentralAuthUser::getCentralDB();
$centralSlave = CentralAuthUser::getCentralSlaveDB();
- if ( $this->getOption( 'delete', false ) === true ) {
+ if ( $this->getOption( 'delete', false ) !== false ) {
$this->dryrun = false;
}
--
To view, visit https://gerrit.wikimedia.org/r/279720
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I009e5110afe77904eda1c6f256b2561736f75761
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CentralAuth
Gerrit-Branch: REL1_26
Gerrit-Owner: Southparkfan <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
