adjust whitespace (spaces -> tabs)
authorBrion Vibber <brion@users.mediawiki.org>
Tue, 16 Aug 2005 23:19:54 +0000 (23:19 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Tue, 16 Aug 2005 23:19:54 +0000 (23:19 +0000)
includes/Setup.php

index 6e3f28f..6707677 100644 (file)
@@ -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() {}
 }