note 129848 added to reserved.variables.server

// get page request time // run early function getRequestTime() { static $start; if (empty($start)) { $start = $_SERVER['REQUEST_TIME_FLOAT']; if (empty($start)) $start = microtime(true)-0.1; } return $start; } // example echo 'page requested at '. date('Y-m-d H:i:s', (int)getRequestTime()); ---- Server IP: 45.112.84.4 Probable Submitter: 80.90.5.137 (proxied: 58.96.37.13) ---- Manual Page -- https://php.net/manual/en/reserved.variables.server.php Edit -- https://main.php.net/note/edit/129848 Del: integrated -- https://main.php.net/note/delete/129848/integrated Del: useless -- https://main.php.net/note/delete/129848/useless Del: bad code -- https://main.php.net/note/delete/129848/bad+code Del: spam -- https://main.php.net/note/delete/129848/spam Del: non-english -- https://main.php.net/note/delete/129848/non-english Del: in docs -- https://main.php.net/note/delete/129848/in+docs Del: other reasons-- https://main.php.net/note/delete/129848 Reject -- https://main.php.net/note/reject/129848 Search -- https://main.php.net/manage/user-notes.php