#26822 [Bgs]: Extra space in date('r')

ID: 26822 Updated by: eru@php.net Reported By: dv at josheli dot com Status: Bogus Bug Type: Date/time related Operating System: * PHP Version: 5CVS, 4CVS New Comment: The line php -r "echo date('r', mktime(0, 0, 0, 1, 10, 2004));" just shows, that there is only one space between "," and "10", so the two spaces in case of a one-digit daynumber is just for format. Btw. 822 was obsoleted by 2822, as you might've noticed, that 4-digit years are not allowed by 822. Previous Comments: ------------------------------------------------------------------------ [2004-01-07 02:23:00] dv at josheli dot com Okay, thanks for your time. But I don't quite follow. i don't see anything in the manual that states your solution. php -r "echo date('r', mktime(0, 0, 0, 1, 10, 2004));" seems to be a workaround. the manual says "timestamp is optional", the 'r' format character claims an "RFC 822 formatted date", and nowhere in RFC 822 does it show that extra space. ------------------------------------------------------------------------ [2004-01-07 01:35:54] eru@php.net Thank you for taking the time to write to us, but this is not a bug. Please double-check the documentation available at http://www.php.net/manual/ and the instructions on how to report a bug at http://bugs.php.net/how-to-report.php php -r \"echo date(\'r\', mktime(0, 0, 0, 1, 10, 2004));\" ------------------------------------------------------------------------ [2004-01-06 23:39:03] dv at josheli dot com Description: ------------ date('r') on windows puts an extra space in the formatted result. found on 4.3.4, php5 beta2, php5-win32-200401070330 snap Reproduce code: --------------- php -r "echo date('r');" Expected result: ---------------- Tue, 6 Jan 2004 22:26:00 -0600 ^ Actual result: -------------- Tue, 6 Jan 2004 22:26:00 -0600 ^^ ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=26822&edit=1