commit d7c35fe962859708a3e6bb1e231e9357bf15370f
Author: Damien Tournoud <damien@commerceguys.com>
Date:   Tue Jul 5 13:05:23 2011 +0200

    Issue #1209470 by Damien Tournoud: REQUEST_TIME is now a float with microseconds on PHP 5.4.0.

diff --git a/includes/bootstrap.inc b/includes/bootstrap.inc
index 27c0eb2..d37a98e 100644
--- a/includes/bootstrap.inc
+++ b/includes/bootstrap.inc
@@ -192,8 +192,11 @@ define('LANGUAGE_RTL', 1);
 
 /**
  * For convenience, define a short form of the request time global.
+ *
+ * REQUEST_TIME is a float with microseconds since PHP 5.4.0, but float
+ * timestamps confuses most of the PHP functions (including date_create()).
  */
-define('REQUEST_TIME', $_SERVER['REQUEST_TIME']);
+define('REQUEST_TIME', (int) $_SERVER['REQUEST_TIME']);
 
 /**
  * Flag for drupal_set_title(); text is not sanitized, so run check_plain().