have_format_spec 4308 ext/date/php_date.c 	int                  i, length, have_format_spec = 0;
have_format_spec 4316 ext/date/php_date.c 		if (have_format_spec) {
have_format_spec 4350 ext/date/php_date.c 			have_format_spec = 0;
have_format_spec 4353 ext/date/php_date.c 				have_format_spec = 1;