jenkins-bot has submitted this change and it was merged.
Change subject: Fix profiling error
......................................................................
Fix profiling error
Start profiling where it actually matters
Change-Id: I85fff08f937abb3f8a42949fb97e29032b961b86
---
M includes/Updater.php
1 file changed, 1 insertion(+), 2 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Updater.php b/includes/Updater.php
index b6a10e7..8e2eb6d 100644
--- a/includes/Updater.php
+++ b/includes/Updater.php
@@ -228,13 +228,12 @@
* Elasticsearch's time format.
*/
private function sendDocuments( $indexType, $documents, $shardTimeout )
{
- wfProfileIn( __METHOD__ );
-
$documentCount = count( $documents );
if ( $documentCount === 0 ) {
return;
}
+ wfProfileIn( __METHOD__ );
$exception = null;
try {
$pageType = Connection::getPageType( wfWikiId(),
$indexType );
--
To view, visit https://gerrit.wikimedia.org/r/112185
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I85fff08f937abb3f8a42949fb97e29032b961b86
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CirrusSearch
Gerrit-Branch: master
Gerrit-Owner: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: Aaron Schulz <asch...@wikimedia.org>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: Manybubbles <never...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
