DATE_FORMAT_ISO8601  854 ext/date/php_date.c 	REGISTER_STRING_CONSTANT("DATE_ISO8601", DATE_FORMAT_ISO8601, CONST_CS | CONST_PERSISTENT);
DATE_FORMAT_ISO8601 1998 ext/date/php_date.c 	REGISTER_DATE_CLASS_CONST_STRING("ISO8601",          DATE_FORMAT_ISO8601);
DATE_FORMAT_ISO8601 3848 ext/date/php_date.c 		add_assoc_str(&element, "time", php_format_date(DATE_FORMAT_ISO8601, 13, timestamp_begin, 0)); \
DATE_FORMAT_ISO8601 3857 ext/date/php_date.c 		add_assoc_str(&element, "time", php_format_date(DATE_FORMAT_ISO8601, 13, ts, 0)); \