From: Antoine Musso <hashar@users.mediawiki.org>
Date: Sun, 15 Jan 2006 23:12:27 +0000 (+0000)
Subject: * additional comments
X-Git-Tag: 1.6.0~527
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/membres/fiche.php?a=commitdiff_plain;h=0cb608f2da89f80ef869c92f9c5e41e984a93252;p=lhc%2Fweb%2Fwiklou.git

* additional comments
* line wrap at 80 columns
---

diff --git a/index.php b/index.php
index 2d547fcffc..bc527799cb 100644
--- a/index.php
+++ b/index.php
@@ -5,7 +5,7 @@
  */
 $wgRequestTime = microtime();
 
-# getrusage() does not exist on the Window$ platform, catching this
+# getrusage() does not exist on the Microsoft Windows platforms, catching this
 if ( function_exists ( 'getrusage' ) ) {
 	$wgRUstart = getrusage();
 } else {
@@ -20,12 +20,18 @@ if ( isset( $_REQUEST['GLOBALS'] ) ) {
 }
 
 # 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.
+# 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
@@ -68,10 +74,11 @@ if( !file_exists( 'LocalSettings.php' ) ) {
 	die();
 }
 
+# Include this site setttings
 require_once( './LocalSettings.php' );
+# Prepare MediaWiki
 require_once( 'includes/Setup.php' );
 
-
 # Initialize MediaWiki base class
 require_once( "includes/Wiki.php" );
 $mediaWiki = new MediaWiki();