PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2911 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(year,      y);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2912 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(month,     m);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2913 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(day,       d);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2914 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(hour,      h);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2915 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(minute,    i);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2916 ext/date/php_date.c 	PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(second,    s);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2931 ext/date/php_date.c 		PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(zone_type, zone_type);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2934 ext/date/php_date.c 				PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(zone, z);
PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT 2946 ext/date/php_date.c 				PHP_DATE_PARSE_DATE_SET_TIME_ELEMENT(zone, z);