* @ingroup Profiler
* @defgroup Profiler Profiler
*/
+use Wikimedia\ScopedCallback;
/**
* Profiler base class that defines the interface and some trivial
abstract public function scopedProfileIn( $section );
/**
- * @param ScopedCallback $section
+ * @param SectionProfileCallback $section
*/
- public function scopedProfileOut( ScopedCallback &$section = null ) {
+ public function scopedProfileOut( SectionProfileCallback &$section = null ) {
$section = null;
}