archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 13:38:49 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Make request start time be available via $_SERVER['REQUEST_TIME'].

Browse source 
# As discussed on internals.
This commit is contained in:
Ilia Alshanetsky 2004-10-24 17:41:13 +00:00
parent aeac86458c
commit 0802b1286d
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
main/php_variables.c
View file

@ -515,6 +515,14 @@ static inline void php_register_server_variables(TSRMLS_D)
if (SG(request_info).auth_password) {
php_register_variable("PHP_AUTH_PW", SG(request_info).auth_password, array_ptr TSRMLS_CC);
}
/* store request init time */
{
zval new_entry;
Z_TYPE(new_entry) = IS_LONG;
Z_LVAL(new_entry) = sapi_get_request_time(TSRMLS_C);
php_register_variable_ex("REQUEST_TIME", &new_entry, array_ptr TSRMLS_CC);
}
PG(magic_quotes_gpc) = magic_quotes_gpc;
}
/* }}} */