dépôts / lhc / web / wiklou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 41ae250)
Warning: ini_set() [ref.outcontrol]: Cannot change zlib.output_compression - headers...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Tue, 23 Sep 2008 18:23:09 +0000 (18:23 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Tue, 23 Sep 2008 18:23:09 +0000 (18:23 +0000)
profileinfo.php patch | blob | history

diff --git a/profileinfo.php b/profileinfo.php
index bf3cd0f..cd0169e 100644 (file)
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -1,3 +1,14 @@
+<?php
+ini_set( 'zlib.output_compression', 'off' );
+
+$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = $wgDBprefix = false;
+
+define( 'MW_NO_SETUP', 1 );
+require_once( './includes/WebStart.php' );
+require_once( './AdminSettings.php' );
+require_once( './includes/GlobalFunctions.php' );
+
+?>
 <!--
      Show profiling data.
 
@@ -55,14 +66,6 @@
 </head>
 <body>
 <?php
-ini_set( 'zlib.output_compression', 'off' );
-
-$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = $wgDBprefix = false;
-
-define( 'MW_NO_SETUP', 1 );
-require_once( './includes/WebStart.php' );
-require_once("./AdminSettings.php");
-require_once( './includes/GlobalFunctions.php' );
 
 if (!$wgEnableProfileInfo) {
        echo "disabled\n";
Wiklou, le Wiki du Wiklou