jenkins-bot has submitted this change and it was merged.
Change subject: SectionProfiler: Remove $profileOutCallback
......................................................................
SectionProfiler: Remove $profileOutCallback
Unused since 626aede99bf83733.
Change-Id: I12c0d7900cd81d8b33b1a5a8dbe866ddd9664083
---
M includes/profiler/SectionProfiler.php
1 file changed, 0 insertions(+), 5 deletions(-)
Approvals:
Krinkle: Looks good to me, but someone else must approve
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/profiler/SectionProfiler.php
b/includes/profiler/SectionProfiler.php
index 04ec841..65ac6e6 100644
--- a/includes/profiler/SectionProfiler.php
+++ b/includes/profiler/SectionProfiler.php
@@ -46,8 +46,6 @@
protected $collateOnly = true;
/** @var array Cache of a standard broken collation entry */
protected $errorEntry;
- /** @var callable Cache of a profile out callback */
- protected $profileOutCallback;
/**
* @param array $params
@@ -55,9 +53,6 @@
public function __construct( array $params = [] ) {
$this->errorEntry = $this->getErrorEntry();
$this->collateOnly = empty( $params['trace'] );
- $this->profileOutCallback = function ( $profiler, $section ) {
- $profiler->profileOutInternal( $section );
- };
}
/**
--
To view, visit https://gerrit.wikimedia.org/r/300866
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I12c0d7900cd81d8b33b1a5a8dbe866ddd9664083
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: PleaseStand <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
