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

ID: 26822 User updated by: dv at josheli dot com Reported By: dv at josheli dot com Status: Bogus Bug Type: Date/time related Operating System: * PHP Version: 5CVS, 4CVS New Comment: 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. Previous Comments: ------------------------------------------------------------------------ [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