From 183851b06bd6c52f3cae5375f433da720d410447 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Wed, 11 Oct 2006 18:12:39 +0000
Subject: MediaWiki 1.7.1 wiederhergestellt

---
 includes/ProfilerStub.php | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 includes/ProfilerStub.php

(limited to 'includes/ProfilerStub.php')

diff --git a/includes/ProfilerStub.php b/includes/ProfilerStub.php
new file mode 100644
index 00000000..3bcdaab2
--- /dev/null
+++ b/includes/ProfilerStub.php
@@ -0,0 +1,26 @@
+<?php
+
+# Stub profiling functions
+
+$haveProctitle=function_exists("setproctitle");
+function wfProfileIn( $fn = '' ) {
+	global $hackwhere, $wgDBname, $haveProctitle;
+	if ($haveProctitle) {
+		$hackwhere[] = $fn;
+		setproctitle($fn . " [$wgDBname]");
+	}
+}
+function wfProfileOut( $fn = '' ) {
+	global $hackwhere, $wgDBname, $haveProctitle;
+	if (!$haveProctitle)
+		return;
+	if (count($hackwhere))
+		array_pop($hackwhere);
+	if (count($hackwhere))
+		setproctitle($hackwhere[count($hackwhere)-1] . " [$wgDBname]");
+}
+function wfGetProfilingOutput( $s, $e ) {}
+function wfProfileClose() {}
+function wfLogProfilingData() {}
+
+?>
-- 
cgit v1.2.3-54-g00ecf