+<?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.
</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";