note 110339 added to reserved.variables.server

The $_SERVER['REQUEST_TIME'] is not (always?) a float in PHP 5.4 as mentioned above. On my system using PHP 5.4.7 FPM/FastCGI, i have the normal $_SERVER['REQUEST_TIME'] as an int, and an additional $_SERVER['REQUEST_TIME_FLOAT'] as a float. In contrast to this documentation here, the PHP Changelog mentioned this with the version 5.4.0. ---- Server IP: 69.147.83.199 Probable Submitter: 217.91.162.102 ---- Manual Page -- http://www.php.net/manual/en/reserved.variables.server.php Edit -- https://master.php.net/note/edit/110339 Del: integrated -- https://master.php.net/note/delete/110339/integrated Del: useless -- https://master.php.net/note/delete/110339/useless Del: bad code -- https://master.php.net/note/delete/110339/bad+code Del: spam -- https://master.php.net/note/delete/110339/spam Del: non-english -- https://master.php.net/note/delete/110339/non-english Del: in docs -- https://master.php.net/note/delete/110339/in+docs Del: other reasons-- https://master.php.net/note/delete/110339 Reject -- https://master.php.net/note/reject/110339 Search -- https://master.php.net/manage/user-notes.php