SectionProfileCallback.php

Go to the documentation of this file.

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