1--TEST-- 2Test bug #64370 microtime(true) less than $_SERVER['REQUEST_TIME_FLOAT'] 3--SKIPIF-- 4<?php 5 if (PHP_MAJOR_VERSION < 5 || (PHP_MAJOR_VERSION == 5 && PHP_MINOR_VERSION < 4)) { 6 die('skip PHP 5.4+ only'); 7 } 8--FILE-- 9<?php 10echo "\$_SERVER['REQUEST_TIME']: {$_SERVER['REQUEST_TIME']}\n"; 11echo "\$_SERVER['REQUEST_TIME_FLOAT']: {$_SERVER['REQUEST_TIME_FLOAT']}\n"; 12echo "time(): " . time() . "\n"; 13echo "microtime(true): " . microtime(true) . "\n"; 14$d = (microtime(true)-$_SERVER['REQUEST_TIME_FLOAT'])*1000; 15echo "created in $d ms\n"; 16echo ((bool)($d >= 0)) . "\n"; 17?> 18===DONE=== 19--EXPECTF-- 20$_SERVER['REQUEST_TIME']: %d 21$_SERVER['REQUEST_TIME_FLOAT']: %f 22time(): %d 23microtime(true): %f 24created in %f ms 251 26===DONE=== 27
