From ea2a812e564fbfb5aecbf41443551ab8b952a512 Mon Sep 17 00:00:00 2001
From: "Mr. E23" <e23@users.mediawiki.org>
Date: Sat, 13 Aug 2005 13:23:22 +0000
Subject: [PATCH] Added dummy wfLogProfilingData() to avoid php warnings when
 profiling is disabled

---
 includes/Setup.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/Setup.php b/includes/Setup.php
index 1a580c163d..6e3f28f2d8 100644
--- 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';
-- 
2.20.1