diff options
Diffstat (limited to 'profileinfo.php')
-rw-r--r-- | profileinfo.php | 19 |
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 ); |