diff options
| author | webchick <webchick@24967.no-reply.drupal.org> | 2011-07-06 13:57:01 -0700 |
|---|---|---|
| committer | webchick <webchick@24967.no-reply.drupal.org> | 2011-07-06 13:57:01 -0700 |
| commit | d732bf85d9e6de9a1626c8849729fd71378c6c1b (patch) | |
| tree | 204ec0b891082502785b54281be6f78000395680 | |
| parent | aed55f9ce66ea5ef273c019820fa7dd749a8edfa (diff) | |
| download | brdo-d732bf85d9e6de9a1626c8849729fd71378c6c1b.tar.gz brdo-d732bf85d9e6de9a1626c8849729fd71378c6c1b.tar.bz2 | |
Issue #1209470 by Damien Tournoud: Fixed REQUEST_TIME is a float with microseconds on PHP 5.4.
| -rw-r--r-- | includes/bootstrap.inc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/includes/bootstrap.inc b/includes/bootstrap.inc index 02af930dd..603431176 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(). |