1--TEST--
2Test bug #64370 microtime(true) less than $_SERVER['REQUEST_TIME_FLOAT']
3--FILE--
4<?php
5echo "\$_SERVER['REQUEST_TIME']: {$_SERVER['REQUEST_TIME']}\n";
6echo "\$_SERVER['REQUEST_TIME_FLOAT']: {$_SERVER['REQUEST_TIME_FLOAT']}\n";
7echo "time(): " . time() . "\n";
8echo "microtime(true): " . microtime(true) . "\n";
9$d = (microtime(true)-$_SERVER['REQUEST_TIME_FLOAT'])*1000;
10echo "created in $d ms\n";
11echo ((bool)($d >= 0)) . "\n";
12?>
13===DONE===
14--EXPECTF--
15$_SERVER['REQUEST_TIME']: %d
16$_SERVER['REQUEST_TIME_FLOAT']: %f
17time(): %d
18microtime(true): %f
19created in %f ms
201
21===DONE===
22