From 34efa448f5f0359220f9cad0fe19730613c51bbd Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Tue, 8 Jun 2004 02:32:56 +0000 Subject: [PATCH] possible performance enhancement --- includes/Setup.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/includes/Setup.php b/includes/Setup.php index 19d1cc7e6d..a1c5f00d46 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -13,8 +13,8 @@ if( !isset( $wgProfiling ) ) if ( $wgProfiling and (0 == rand() % $wgProfileSampleRate ) ) { require_once( "Profiling.php" ); } else { - function wfProfileIn( $fn ) {} - function wfProfileOut( $fn = "" ) {} + function wfProfileIn( $fn = '' ) {} + function wfProfileOut( $fn = '' ) {} function wfGetProfilingOutput( $s, $e ) {} function wfProfileClose() {} } -- 2.20.1