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

Change subject: Add a wfProfileOut call
......................................................................


Add a wfProfileOut call

Change-Id: I265292f845e5ca9e36d38c2a3151a584556e9a2f
---
M RenameuserSQL.php
1 file changed, 1 insertion(+), 0 deletions(-)

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



diff --git a/RenameuserSQL.php b/RenameuserSQL.php
index ca03ad3..153cac8 100644
--- a/RenameuserSQL.php
+++ b/RenameuserSQL.php
@@ -112,6 +112,7 @@
 
                if ( !$dbw->affectedRows() && $this->checkIfUserExists ) {
                        $dbw->rollback();
+                       wfProfileOut( __METHOD__ );
                        return false;
                }
 

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

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

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

Reply via email to