zendframework#7095 - as per PHP 5.4, $_SERVER['REQUEST_TIME_FLOAT']…

… is available
Ocramius · Jan 13, 2015 · cfae0de · cfae0de
1 parent b1b8db9
commit cfae0de
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/library/Zend/Log/Processor/RequestId.php b/library/Zend/Log/Processor/RequestId.php
@@ -53,9 +53,7 @@ protected function getIdentifier()
             return $this->identifier;
         }
 
-        $requestTime = (PHP_VERSION_ID >= 50400)
-                     ? $_SERVER['REQUEST_TIME_FLOAT']
-                     : $_SERVER['REQUEST_TIME'];
+        $requestTime = $_SERVER['REQUEST_TIME_FLOAT'];
 
         if (Console::isConsole()) {
             $this->identifier = md5($requestTime);