diff options
Diffstat (limited to 'includes/ProfilerStub.php')
-rw-r--r-- | includes/ProfilerStub.php | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/includes/ProfilerStub.php b/includes/ProfilerStub.php deleted file mode 100644 index e624e6f0..00000000 --- a/includes/ProfilerStub.php +++ /dev/null @@ -1,52 +0,0 @@ -<?php -/** - * Stub profiling functions - * @file - * @ingroup Profiler - */ - -/** backward compatibility */ -$wgProfiling = false; -$wgProfiler = null; - -/** 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() {} |