*/
$wgRequestTime = $_SERVER['REQUEST_TIME_FLOAT'];
-unset( $IP );
-
# 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