* Main wiki script; see docs/design.txt
* @package MediaWiki
*/
-$wgRequestTime = microtime();
+$wgRequestTime = microtime(true);
# getrusage() does not exist on the Microsoft Windows platforms, catching this
if ( function_exists ( 'getrusage' ) ) {
# Send Ajax requests to the Ajax dispatcher.
#
if ( $wgUseAjax && $action == 'ajax' ) {
- require_once( 'ajax.php' );
+ require_once( 'AjaxDispatcher.php' );
$dispatcher = new AjaxDispatcher();
$dispatcher->performAction();