Kill some duplicated queries by also caching negative results in wasDeletedSinceLastEdit
[mediawiki.git] / config / index.php
blob0256cfac9604572990b58896bd76b9708ffd5306
1 <?php
2 /**
3 * New version of MediaWiki web-based config/installation
5 * @file
6 */
8 define( 'MW_CONFIG_CALLBACK', 'CoreInstaller::overrideConfig' );
9 define( 'MEDIAWIKI_INSTALL', true );
11 chdir( dirname( dirname( __FILE__ ) ) );
12 require( dirname( dirname( __FILE__ ) ) . '/includes/WebStart.php' );
14 wfInstallerMain();
16 function wfInstallerMain() {
17 global $wgRequest, $wgLang, $wgMetaNamespace, $wgCanonicalNamespaceNames;
19 $installer = new WebInstaller( $wgRequest );
21 if ( !$installer->startSession() ) {
22 $installer->finish();
23 exit;
26 $fingerprint = $installer->getFingerprint();
27 if ( isset( $_SESSION['installData'][$fingerprint] ) ) {
28 $session = $_SESSION['installData'][$fingerprint];
29 } else {
30 $session = array();
33 if ( isset( $session['settings']['_UserLang'] ) ) {
34 $langCode = $session['settings']['_UserLang'];
35 } elseif ( !is_null( $wgRequest->getVal( 'UserLang' ) ) ) {
36 $langCode = $wgRequest->getVal( 'UserLang' );
37 } else {
38 $langCode = 'en';
40 $wgLang = Language::factory( $langCode );
42 $installer->setParserLanguage( $wgLang );
44 $wgMetaNamespace = $wgCanonicalNamespaceNames[NS_PROJECT];
46 $session = $installer->execute( $session );
48 $_SESSION['installData'][$fingerprint] = $session;