MediaWiki 1.7.1 wiederhergestellt

1 files changed, 26 insertions, 0 deletions

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() {}
+
+?>