PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2967 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(year,      y);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2968 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(month,     m);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2969 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(day,       d);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2970 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(hour,      h);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2971 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(minute,    i);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2972 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(second,    s);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2987 ext/date/php_date.c 		PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(zone_type, zone_type);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2990 ext/date/php_date.c 				PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(zone, z);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 3002 ext/date/php_date.c 				PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(zone, z);