From caf1cb4942fc41778c296de5436beacb553a3f23 Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Tue, 16 Aug 2005 23:19:54 +0000 Subject: [PATCH] adjust whitespace (spaces -> tabs) --- includes/Setup.php | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/includes/Setup.php b/includes/Setup.php index 6e3f28f2d8..670767768f 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -25,23 +25,23 @@ if( !isset( $wgProfiling ) ) $wgProfiling = false; if ( $wgProfiling and (0 == rand() % $wgProfileSampleRate ) ) { - require_once( 'Profiling.php' ); + require_once( 'Profiling.php' ); } else { - function wfProfileIn( $fn = '' ) { - global $hackwhere, $wgDBname; - $hackwhere[] = $fn; - if (function_exists("setproctitle")) - setproctitle($fn . " [$wgDBname]"); - } - function wfProfileOut( $fn = '' ) { - global $hackwhere, $wgDBname; - if (count($hackwhere)) - array_pop($hackwhere); - if (function_exists("setproctitle") && count($hackwhere)) - setproctitle($hackwhere[count($hackwhere)-1] . " [$wgDBname]"); - } - function wfGetProfilingOutput( $s, $e ) {} - function wfProfileClose() {} + function wfProfileIn( $fn = '' ) { + global $hackwhere, $wgDBname; + $hackwhere[] = $fn; + if (function_exists("setproctitle")) + setproctitle($fn . " [$wgDBname]"); + } + function wfProfileOut( $fn = '' ) { + global $hackwhere, $wgDBname; + if (count($hackwhere)) + array_pop($hackwhere); + if (function_exists("setproctitle") && count($hackwhere)) + setproctitle($hackwhere[count($hackwhere)-1] . " [$wgDBname]"); + } + function wfGetProfilingOutput( $s, $e ) {} + function wfProfileClose() {} function wfLogProfilingData() {} } -- 2.20.1