Added dummy wfLogProfilingData() to avoid php warnings when profiling is disabled

diff --git a/includes/Setup.php b/includes/Setup.php
index 1a580c1..6e3f28f 100644 (file)
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -42,6 +42,7 @@ if ( $wgProfiling and (0 == rand() % $wgProfileSampleRate ) ) {
         }
         function wfGetProfilingOutput( $s, $e ) {}
         function wfProfileClose() {}
+       function wfLogProfilingData() {}
 }
 
 $fname = 'Setup.php';