diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
| commit | 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e (patch) | |
| tree | af68743f2f4a47d13f2b0eb05f5c4aaf86d8ea37 /mw-config/index.php | |
| parent | af4da56f1ad4d3ef7b06557bae365da2ea27a897 (diff) | |
Update to MediaWiki 1.22.0
Diffstat (limited to 'mw-config/index.php')
| -rw-r--r-- | mw-config/index.php | 6 |
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(); |