Denny Vrandecic has submitted this change and it was merged.
Change subject: Add missing wfProfileOut() call
......................................................................
Add missing wfProfileOut() call
Change-Id: I2e3aaef7015e109a094cbfb512e09eec2b641d83
---
M lib/maintenance/dispatchChanges.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Denny Vrandecic: Verified; Looks good to me, approved
diff --git a/lib/maintenance/dispatchChanges.php
b/lib/maintenance/dispatchChanges.php
index 10e0c0e..cd01330 100644
--- a/lib/maintenance/dispatchChanges.php
+++ b/lib/maintenance/dispatchChanges.php
@@ -856,6 +856,7 @@
$siteLinkDiff = $change->getSiteLinkDiff();
if ( isset( $siteLinkDiff[ $siteID ] ) ) {
+ wfProfileOut( __METHOD__ );
return true;
}
}
--
To view, visit https://gerrit.wikimedia.org/r/73562
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2e3aaef7015e109a094cbfb512e09eec2b641d83
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Denny Vrandecic <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
