jenkins-bot has submitted this change and it was merged.
Change subject: Made text profiler output a bit less noisy by bumping
"thresholdMs"
......................................................................
Made text profiler output a bit less noisy by bumping "thresholdMs"
Change-Id: Ie66794c94fb3f6a3dc86ad604162b8e4f91c35ba
---
M includes/profiler/output/ProfilerOutputText.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/profiler/output/ProfilerOutputText.php
b/includes/profiler/output/ProfilerOutputText.php
index 6752779..dc24f18 100644
--- a/includes/profiler/output/ProfilerOutputText.php
+++ b/includes/profiler/output/ProfilerOutputText.php
@@ -35,7 +35,7 @@
parent::__construct( $collector, $params );
$this->thresholdMs = isset( $params['thresholdMs'] )
? $params['thresholdMs']
- : .25;
+ : 1.0;
}
public function log( array $stats ) {
if ( $this->collector->getTemplated() ) {
--
To view, visit https://gerrit.wikimedia.org/r/219871
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie66794c94fb3f6a3dc86ad604162b8e4f91c35ba
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
