summaryrefslogtreecommitdiff
path: root/mw-config
diff options
context:
space:
mode:
Diffstat (limited to 'mw-config')
-rw-r--r--mw-config/index.php6
1 files changed, 1 insertions, 5 deletions
diff --git a/mw-config/index.php b/mw-config/index.php
index 2823210a..570b426e 100644
--- a/mw-config/index.php
+++ b/mw-config/index.php
@@ -24,11 +24,7 @@ define( 'MW_CONFIG_CALLBACK', 'Installer::overrideConfig' );
define( 'MEDIAWIKI_INSTALL', true );
chdir( dirname( __DIR__ ) );
-if ( isset( $_SERVER['MW_COMPILED'] ) ) {
- require ( 'core/includes/WebStart.php' );
-} else {
- require( dirname( __DIR__ ) . '/includes/WebStart.php' );
-}
+require dirname( __DIR__ ) . '/includes/WebStart.php';
wfInstallerMain();