diff options
Diffstat (limited to 'mw-config/index.php')
-rw-r--r-- | mw-config/index.php | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/mw-config/index.php b/mw-config/index.php index a6cebc39..be811dc9 100644 --- a/mw-config/index.php +++ b/mw-config/index.php @@ -20,12 +20,10 @@ * @file */ -// Bail if PHP is too low -if ( !function_exists( 'version_compare' ) || version_compare( PHP_VERSION, '5.3.2' ) < 0 ) { - // We need to use dirname( __FILE__ ) here cause __DIR__ is PHP5.3+ - require dirname( dirname( __FILE__ ) ) . '/includes/PHPVersionError.php'; - wfPHPVersionError( 'mw-config/index.php' ); -} +// Bail on old versions of PHP, or if composer has not been run yet to install +// dependencies. Using dirname( __FILE__ ) here because __DIR__ is PHP5.3+. +require_once dirname( __FILE__ ) . '/../includes/PHPVersionCheck.php'; +wfEntryPointCheck( 'mw-config/index.php' ); define( 'MW_CONFIG_CALLBACK', 'Installer::overrideConfig' ); define( 'MEDIAWIKI_INSTALL', true ); |