Use REQUEST_TIME constant instead of time().

Author: sebastianbergmann

PHP/CodeCoverage/Report/Clover.php

@@ -67,17 +67,15 @@ class PHP_CodeCoverage_Report_Clover
      */
     public function process(PHP_CodeCoverage $coverage, $target = NULL, $name = NULL)
     {
-        $time = time();
-
         $document = new DOMDocument('1.0', 'UTF-8');
         $document->formatOutput = TRUE;
 
         $root = $document->createElement('coverage');
-        $root->setAttribute('generated', $time);
+        $root->setAttribute('generated', $_SERVER['REQUEST_TIME']);
         $document->appendChild($root);
 
         $project = $document->createElement('project');
-        $project->setAttribute('timestamp', $time);
+        $project->setAttribute('timestamp', $_SERVER['REQUEST_TIME']);
 
         if (is_string($name)) {
             $project->setAttribute('name', $name);

PHP/CodeCoverage/Report/HTML/Node.php

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