summaryrefslogtreecommitdiff
path: root/profileinfo.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2009-02-22 13:37:51 +0100
committerPierre Schmitz <pierre@archlinux.de>2009-02-22 13:37:51 +0100
commitb9b85843572bf283f48285001e276ba7e61b63f6 (patch)
tree4c6f4571552ada9ccfb4030481dcf77308f8b254 /profileinfo.php
parentd9a20acc4e789cca747ad360d87ee3f3e7aa58c1 (diff)
updated to MediaWiki 1.14.0
Diffstat (limited to 'profileinfo.php')
-rw-r--r--profileinfo.php19
1 files changed, 12 insertions, 7 deletions
diff --git a/profileinfo.php b/profileinfo.php
index 0eae51d5..d1cf8536 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -1,3 +1,15 @@
+<?php
+ini_set( 'zlib.output_compression', 'off' );
+
+$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgDBprefix = false;
+$wgEnableProfileInfo = $wgProfileToDatabase = false;
+
+define( 'MW_NO_SETUP', 1 );
+require_once( './includes/WebStart.php' );
+@include_once( './AdminSettings.php' );
+require_once( './includes/GlobalFunctions.php' );
+
+?>
<!--
Show profiling data.
@@ -56,13 +68,6 @@
<body>
<?php
-$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = $wgDBprefix = false;
-
-define( 'MW_NO_SETUP', 1 );
-require_once( './includes/WebStart.php' );
-@include_once("./AdminSettings.php");
-require_once( './includes/GlobalFunctions.php' );
-
if (!$wgEnableProfileInfo) {
echo "disabled\n";
exit( 1 );