jenkins-bot has submitted this change and it was merged.

Change subject: forceRenameUsers: Fail nicer if CentralAuth isn't installed
......................................................................


forceRenameUsers: Fail nicer if CentralAuth isn't installed

Change-Id: I289ab37eeee631a122455218cfb784b30e211639
---
M maintenance/forceRenameUsers.php
1 file changed, 3 insertions(+), 0 deletions(-)

Approvals:
  Hoo man: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/maintenance/forceRenameUsers.php b/maintenance/forceRenameUsers.php
index 474f677..8d92b56 100644
--- a/maintenance/forceRenameUsers.php
+++ b/maintenance/forceRenameUsers.php
@@ -29,6 +29,9 @@
        }
 
        public function execute() {
+               if ( !class_exists( 'CentralAuthUser' ) ) {
+                       $this->error( 'CentralAuth is not installed on this 
wiki.', 1 );
+               }
                $dbw = CentralAuthUser::getCentralDB();
                while ( true ) {
                        $rowsToRename = $this->findUsers( wfWikiID(), $dbw );

-- 
To view, visit https://gerrit.wikimedia.org/r/204652
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I289ab37eeee631a122455218cfb784b30e211639
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CentralAuth
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to