diff options
| author | Tim Starling <tstarling@users.mediawiki.org> | 2006-07-14 05:35:31 +0000 |
|---|---|---|
| committer | Tim Starling <tstarling@users.mediawiki.org> | 2006-07-14 05:35:31 +0000 |
| commit | 3ea576aa259b9f990e18aa3c58c62036d80c3ce3 (patch) | |
| tree | 652896cfb94064ed6824a5d19f91db5d7bde3e1d /index.php | |
| parent | 0256e2c6482d20709fc05b5f8fe4a2cd8c70544b (diff) | |
| download | mediawikicore-3ea576aa259b9f990e18aa3c58c62036d80c3ce3.tar.gz mediawikicore-3ea576aa259b9f990e18aa3c58c62036d80c3ce3.zip | |
Consolidated web initialisation code into includes/WebStart.php. Moved profiling setup to a hook file "StartProfiler.php", following Brion's suggestion to merge Wikimedia's early profiling patch into subversion. Renamed Profiling.php and logProfilingData(), removed unnecessary wfProfileClose() calls.
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/15605
Diffstat (limited to 'index.php')
| -rw-r--r-- | index.php | 80 |
1 files changed, 2 insertions, 78 deletions
diff --git a/index.php b/index.php index f18fa8a6ed3e..00a29f215169 100644 --- a/index.php +++ b/index.php @@ -1,83 +1,7 @@ <?php -/** - * Main wiki script; see docs/design.txt - * @package MediaWiki - */ -$wgRequestTime = microtime(true); -# getrusage() does not exist on the Microsoft Windows platforms, catching this -if ( function_exists ( 'getrusage' ) ) { - $wgRUstart = getrusage(); -} else { - $wgRUstart = array(); -} - -unset( $IP ); -@ini_set( 'allow_url_fopen', 0 ); # For security... - -if ( isset( $_REQUEST['GLOBALS'] ) ) { - die( '<a href="http://www.hardened-php.net/index.76.html">$GLOBALS overwrite vulnerability</a>'); -} - -# Valid web server entry point, enable includes. -# Please don't move this line to includes/Defines.php. This line essentially -# defines a valid entry point. If you put it in includes/Defines.php, then -# any script that includes it becomes an entry point, thereby defeating -# its purpose. -define( 'MEDIAWIKI', true ); - -# Load up some global defines. -require_once( './includes/Defines.php' ); - -# LocalSettings.php is the per site customization file. If it does not exit -# the wiki installer need to be launched or the generated file moved from -# ./config/ to ./ -if( !file_exists( 'LocalSettings.php' ) ) { - $IP = '.'; - require_once( 'includes/DefaultSettings.php' ); # used for printing the version -?> -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> -<html xmlns='http://www.w3.org/1999/xhtml' xml:lang='en' lang='en'> - <head> - <title>MediaWiki <?php echo $wgVersion ?></title> - <meta http-equiv='Content-Type' content='text/html; charset=utf-8' /> - <style type='text/css' media='screen, projection'> - html, body { - color: #000; - background-color: #fff; - font-family: sans-serif; - text-align: center; - } - - h1 { - font-size: 150%; - } - </style> - </head> - <body> - <img src='skins/common/images/mediawiki.png' alt='The MediaWiki logo' /> - - <h1>MediaWiki <?php echo $wgVersion ?></h1> - <div class='error'> - <?php - if ( file_exists( 'config/LocalSettings.php' ) ) { - echo( 'To complete the installation, move <tt>config/LocalSettings.php</tt> to the parent directory.' ); - } else { - echo( 'Please <a href="config/index.php" title="setup">setup the wiki</a> first.' ); - } - ?> - - </div> - </body> -</html> -<?php - die(); -} - -# Include this site setttings -require_once( './LocalSettings.php' ); -# Prepare MediaWiki -require_once( 'includes/Setup.php' ); +# Initialise common code +require_once( './includes/WebStart.php' ); # Initialize MediaWiki base class require_once( "includes/Wiki.php" ); |