SectionProfileCallback.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Profiler;
 
use Wikimedia\ScopedCallback;
 
class SectionProfileCallback extends ScopedCallback {
 
    protected SectionProfiler $profiler;
    protected string $section;
 
    public function __construct( SectionProfiler $profiler, string $section ) {
        parent::__construct( null );
        $this->profiler = $profiler;
        $this->section = $section;
    }
 
    public function __destruct() {
        $this->profiler->profileOutInternal( $this->section );
    }
}
 
class_alias( SectionProfileCallback::class, 'SectionProfileCallback' );