Cast REQUEST_TIME to integer (in PHP > 5.3.99 is is a float).

Author: sebastianbergmann

PHP/CodeCoverage/Report/Clover.php

@@ -72,11 +72,11 @@ public function process(PHP_CodeCoverage $coverage, $target = NULL, $name = NULL
         $document->formatOutput = TRUE;
 
         $root = $document->createElement('coverage');
-        $root->setAttribute('generated', $_SERVER['REQUEST_TIME']);
+        $root->setAttribute('generated', (int)$_SERVER['REQUEST_TIME']);
         $document->appendChild($root);
 
         $project = $document->createElement('project');
-        $project->setAttribute('timestamp', $_SERVER['REQUEST_TIME']);
+        $project->setAttribute('timestamp', (int)$_SERVER['REQUEST_TIME']);
 
         if (is_string($name)) {
             $project->setAttribute('name', $name);

PHP/CodeCoverage/Report/HTML.php

@@ -180,7 +180,7 @@ protected function renderDashboard(PHP_CodeCoverage_Report_HTML_Node_Directory $
             'charset'                => $this->options['charset'],
             'date'                   => date(
                                           'D M j G:i:s T Y',
-                                          $_SERVER['REQUEST_TIME']
+                                          (int)$_SERVER['REQUEST_TIME']
                                         ),
             'version'                => '@package_version@',
             'php_version'            => PHP_VERSION,

PHP/CodeCoverage/Report/HTML/Node.php

@@ -437,7 +437,7 @@ protected function setTemplateVars(Text_Template $template, $title, $charset, $g
             'lines_executed_percent' => $this->getLineExecutedPercent(),
             'date'                   => date(
                                           'D M j G:i:s T Y',
-                                          $_SERVER['REQUEST_TIME']
+                                          (int)$_SERVER['REQUEST_TIME']
                                         ),
             'version'                => '@package_version@',
             'php_version'            => PHP_VERSION,