Fix an errant space in php_date.c