Follow up r68064. This another query also ended at LinkBatch cache.
[mediawiki.git] / config / index.php
blobd913bbb1e8afa811d793a344d213187b25b55b42
1 <?php
3 # MediaWiki web-based config/installation
4 # Copyright (C) 2004 Brion Vibber <brion@pobox.com>, 2006 Rob Church <robchur@gmail.com>
5 # http://www.mediawiki.org/
7 # This program is free software; you can redistribute it and/or modify
8 # it under the terms of the GNU General Public License as published by
9 # the Free Software Foundation; either version 2 of the License, or
10 # (at your option) any later version.
12 # This program is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 # GNU General Public License for more details.
17 # You should have received a copy of the GNU General Public License along
18 # with this program; if not, write to the Free Software Foundation, Inc.,
19 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
20 # http://www.gnu.org/copyleft/gpl.html
22 # Attempt to set up the include path, to fix problems with relative includes
23 $IP = dirname( dirname( __FILE__ ) );
24 define( 'MW_INSTALL_PATH', $IP );
26 # Define an entry point and include some files
27 define( "MEDIAWIKI", true );
28 define( "MEDIAWIKI_INSTALL", true );
30 # Check for PHP 5
31 if ( !function_exists( 'version_compare' )
32 || version_compare( phpversion(), '5.0.0' ) < 0
33 ) {
34 define( 'MW_PHP4', '1' );
35 require( "$IP/includes/DefaultSettings.php" );
36 require( "$IP/includes/templates/PHP4.php" );
37 exit;
40 // Isolate the rest of the code so this file can die out cleanly
41 // if we find we're running under PHP 4.x... We use PHP 5 syntax
42 // which doesn't parse under 4.
43 require( dirname( __FILE__ ) . "/Installer.php" );