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