diff options
Diffstat (limited to 'index.php')
| -rw-r--r-- | index.php | 16 |
1 files changed, 3 insertions, 13 deletions
@@ -8,16 +8,10 @@ * See the README, INSTALL, and UPGRADE files for basic setup instructions * and pointers to the online documentation. * - * http://www.mediawiki.org/ + * https://www.mediawiki.org/ * * ---------- * - * Copyright (C) 2001-2011 Magnus Manske, Brion Vibber, Lee Daniel Crocker, - * Tim Starling, Erik Möller, Gabriel Wicke, Ævar Arnfjörð Bjarmason, - * Niklas Laxström, Domas Mituzas, Rob Church, Yuri Astrakhan, Aryeh Gregor, - * Aaron Schulz, Andrew Garrett, Raimond Spekking, Alexandre Emsenhuber - * Siebrand Mazeland, Chad Horohoe, Roan Kattouw and others. - * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 2 of the License, or @@ -42,18 +36,14 @@ # 5.1, respectively. if ( !function_exists( 'version_compare' ) || version_compare( phpversion(), '5.3.2' ) < 0 ) { // We need to use dirname( __FILE__ ) here cause __DIR__ is PHP5.3+ - require( dirname( __FILE__ ) . '/includes/PHPVersionError.php' ); + require dirname( __FILE__ ) . '/includes/PHPVersionError.php'; wfPHPVersionError( 'index.php' ); } # Initialise common code. This gives us access to GlobalFunctions, the # AutoLoader, and the globals $wgRequest, $wgOut, $wgUser, $wgLang and # $wgContLang, amongst others; it does *not* load $wgTitle -if ( isset( $_SERVER['MW_COMPILED'] ) ) { - require ( 'phase3/includes/WebStart.php' ); -} else { - require ( __DIR__ . '/includes/WebStart.php' ); -} +require __DIR__ . '/includes/WebStart.php'; $mediaWiki = new MediaWiki(); $mediaWiki->run(); |