diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2009-02-22 13:37:51 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2009-02-22 13:37:51 +0100 |
| commit | b9b85843572bf283f48285001e276ba7e61b63f6 (patch) | |
| tree | 4c6f4571552ada9ccfb4030481dcf77308f8b254 /profileinfo.php | |
| parent | d9a20acc4e789cca747ad360d87ee3f3e7aa58c1 (diff) | |
updated to MediaWiki 1.14.0
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 ); |