| Index: trunk/phase3/profileinfo.php |
| — | — | @@ -1,3 +1,14 @@ |
| | 2 | +<?php |
| | 3 | +ini_set( 'zlib.output_compression', 'off' ); |
| | 4 | + |
| | 5 | +$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = $wgDBprefix = false; |
| | 6 | + |
| | 7 | +define( 'MW_NO_SETUP', 1 ); |
| | 8 | +require_once( './includes/WebStart.php' ); |
| | 9 | +require_once( './AdminSettings.php' ); |
| | 10 | +require_once( './includes/GlobalFunctions.php' ); |
| | 11 | + |
| | 12 | +?> |
| 2 | 13 | <!-- |
| 3 | 14 | Show profiling data. |
| 4 | 15 | |
| — | — | @@ -55,15 +66,7 @@ |
| 56 | 67 | </head> |
| 57 | 68 | <body> |
| 58 | 69 | <?php |
| 59 | | -ini_set( 'zlib.output_compression', 'off' ); |
| 60 | 70 | |
| 61 | | -$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = $wgDBprefix = false; |
| 62 | | - |
| 63 | | -define( 'MW_NO_SETUP', 1 ); |
| 64 | | -require_once( './includes/WebStart.php' ); |
| 65 | | -require_once("./AdminSettings.php"); |
| 66 | | -require_once( './includes/GlobalFunctions.php' ); |
| 67 | | - |
| 68 | 71 | if (!$wgEnableProfileInfo) { |
| 69 | 72 | echo "disabled\n"; |
| 70 | 73 | exit( 1 ); |