possible performance enhancement

diff --git a/includes/Setup.php b/includes/Setup.php
index 19d1cc7..a1c5f00 100644 (file)
--- 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() {}
 }