ID: 34713 Updated by: [EMAIL PROTECTED] Reported By: [EMAIL PROTECTED] -Status: Open +Status: Closed Bug Type: Documentation problem Operating System: Irrelevant PHP Version: Irrelevant New Comment:
This bug has been fixed in the documentation's XML sources. Since the online and downloadable versions of the documentation need some time to get updated, we would like to ask you to be a bit patient. Thank you for the report, and for helping us make our documentation better. Previous Comments: ------------------------------------------------------------------------ [2005-10-03 10:09:49] [EMAIL PROTECTED] Description: ------------ time() and date() pages should have notice about the new $_SERVER['REQUEST_TIME'] variable. ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=34713&edit=1
