Your IP : 172.71.120.4

Current Path : /var/www/element/data/www/wiki.element.ru/includes/
Upload File :
Current File : /var/www/element/data/www/wiki.element.ru/includes/ProfilerStub.php

<?php
/**
 * Stub profiling functions
 * @file
 * @ingroup Profiler
 */

/** backward compatibility */
$wgProfiling = false;

/** is setproctitle function available ? */
$haveProctitle = function_exists( 'setproctitle' );

/**
 * Begin profiling of a function
 * @param $fn string
 */
function wfProfileIn( $fn = '' ) {
	global $hackwhere, $wgDBname, $haveProctitle;
	if( $haveProctitle ){
		$hackwhere[] = $fn;
		setproctitle( $fn . " [$wgDBname]" );
	}
}

/**
 * Stop profiling of a function
 * @param $fn string
 */
function wfProfileOut( $fn = '' ) {
	global $hackwhere, $wgDBname, $haveProctitle;
	if( !$haveProctitle )
		return;
	if( count( $hackwhere ) )
		array_pop( $hackwhere );
	if( count( $hackwhere ) )
		setproctitle( $hackwhere[count( $hackwhere )-1] . " [$wgDBname]" );
}

/**
 * Does nothing, just for compatibility 
 */
function wfGetProfilingOutput( $s, $e ) {}

/**
 * Does nothing, just for compatibility 
 */
function wfProfileClose() {}