* (bug 6133) Update strip state as we work. This mostly fixes extensions

[lhc/web/wiklou.git] / index.php

diff --git a/index.php b/index.php
index 2d547fc..f18fa8a 100644 (file)
--- a/index.php
+++ b/index.php
@@ -3,9 +3,9 @@
  * Main wiki script; see docs/design.txt
  * @package MediaWiki
  */
-$wgRequestTime = microtime();
+$wgRequestTime = microtime(true);
 
-# 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();
@@ -83,6 +90,18 @@ OutputPage::setEncodings(); # Not really used yet
 $action = $wgRequest->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;
+}
+
 $wgTitle = $mediaWiki->checkInitialQueries( $title,$action,$wgOut, $wgRequest, $wgContLang );
 if ($wgTitle == NULL) {
        unset( $wgTitle );