have_format_spec 4219 ext/date/php_date.c 	int                  i, length, have_format_spec = 0;
have_format_spec 4227 ext/date/php_date.c 		if (have_format_spec) {
have_format_spec 4261 ext/date/php_date.c 			have_format_spec = 0;
have_format_spec 4264 ext/date/php_date.c 				have_format_spec = 1;