X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=index.php;h=fb415bcf5fedb84ddf7b986293d0e84c284f1054;hb=40d2c66175ebc3a35e03df3ce98551e8d4482ec4;hp=00a29f215169fe73210e07e51554fa3728b05106;hpb=3ea576aa259b9f990e18aa3c58c62036d80c3ce3;p=lhc%2Fweb%2Fwiklou.git diff --git a/index.php b/index.php index 00a29f2151..fb415bcf5f 100644 --- a/index.php +++ b/index.php @@ -1,54 +1,139 @@ getVal( 'action', 'view' ); -$title = $wgRequest->getVal( 'title' ); - -# -# Send Ajax requests to the Ajax dispatcher. -# -if ( $wgUseAjax && $action == 'ajax' ) { - require_once( 'AjaxDispatcher.php' ); - - $dispatcher = new AjaxDispatcher(); - $dispatcher->performAction(); - - exit; +// Bail on old versions of PHP. Pretty much every other file in the codebase +// has structures (try/catch, foo()->bar(), etc etc) which throw parse errors in PHP 4. +// Setup.php and ObjectCache.php have structures invalid in PHP 5.0 and 5.1, respectively. +if ( !function_exists( 'version_compare' ) || version_compare( phpversion(), '5.2.3' ) < 0 ) { + $phpversion = htmlspecialchars( phpversion() ); + $errorMsg = << + MediaWiki requires PHP 5.2.3 or higher. You are running PHP $phpversion. +

+

+ Please consider upgrading your copy of PHP. + PHP versions less than 5.3.0 are no longer supported by the PHP Group and will not receive + security or bugfix updates. +

+

+ If for some reason you are unable to upgrade your PHP version, you will need to + download an older version + of MediaWiki from our website. See our + compatibility page + for details of which versions are compatible with prior versions of PHP. +

+ENDL; + wfDie( $errorMsg ); } -$wgTitle = $mediaWiki->checkInitialQueries( $title,$action,$wgOut, $wgRequest, $wgContLang ); -if ($wgTitle == NULL) { - unset( $wgTitle ); +# 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 ( dirname( __FILE__ ) . '/includes/WebStart.php' ); } -wfProfileOut( 'main-misc-setup' ); +$mediaWiki = new MediaWiki(); +$mediaWiki->run(); -# Setting global variables in mediaWiki -$mediaWiki->setVal( 'Server', $wgServer ); -$mediaWiki->setVal( 'DisableInternalSearch', $wgDisableInternalSearch ); -$mediaWiki->setVal( 'action', $action ); -$mediaWiki->setVal( 'SquidMaxage', $wgSquidMaxage ); -$mediaWiki->setVal( 'EnableDublinCoreRdf', $wgEnableDublinCoreRdf ); -$mediaWiki->setVal( 'EnableCreativeCommonsRdf', $wgEnableCreativeCommonsRdf ); -$mediaWiki->setVal( 'CommandLineMode', $wgCommandLineMode ); -$mediaWiki->setVal( 'UseExternalEditor', $wgUseExternalEditor ); -$mediaWiki->setVal( 'DisabledActions', $wgDisabledActions ); +/** + * Display something vaguely comprehensible in the event of a totally unrecoverable error. + * Does not assume access to *anything*; no globals, no autloader, no database, no localisation. + * Safe for PHP4 (and putting this here means that WebStart.php and GlobalSettings.php + * no longer need to be). + * + * Calling this function kills execution immediately. + * + * @param $errorMsg String fully-escaped HTML + */ +function wfDie( $errorMsg ){ + // Use the version set in DefaultSettings if possible, but don't rely on it + global $wgVersion, $wgLogo; + $version = isset( $wgVersion ) && $wgVersion + ? htmlspecialchars( $wgVersion ) + : ''; -$wgArticle = $mediaWiki->initialize ( $wgTitle, $wgOut, $wgUser, $wgRequest ); -$mediaWiki->finalCleanup ( $wgDeferredUpdateList, $wgLoadBalancer, $wgOut ); + $script = $_SERVER['SCRIPT_NAME']; + $path = pathinfo( $script, PATHINFO_DIRNAME ) . '/'; + $path = str_replace( '//', '/', $path ); -# Not sure when $wgPostCommitUpdateList gets set, so I keep this separate from finalCleanup -$mediaWiki->doUpdates( $wgPostCommitUpdateList ); + $logo = isset( $wgLogo ) && $wgLogo + ? $wgLogo + : $path . 'skins/common/images/mediawiki.png'; + $encLogo = htmlspecialchars( $logo ); -$mediaWiki->restInPeace( $wgLoadBalancer ); -?> + header( $_SERVER['SERVER_PROTOCOL'] . ' 500 MediaWiki configuration Error', true, 500 ); + header( 'Content-type: text/html; charset=UTF-8' ); + // Don't cache error pages! They cause no end of trouble... + header( 'Cache-control: none' ); + header( 'Pragma: nocache' ); + + ?> + + + + MediaWiki <?php echo $version; ?> + + + + + The MediaWiki logo +

MediaWiki internal error

+
+ + +