PHP_DATE_TIMEZONE_PER_COUNTRY 2088 ext/date/php_date.c 	REGISTER_TIMEZONE_CLASS_CONST_STRING("PER_COUNTRY", PHP_DATE_TIMEZONE_PER_COUNTRY);
PHP_DATE_TIMEZONE_PER_COUNTRY 4594 ext/date/php_date.c 	if (what == PHP_DATE_TIMEZONE_PER_COUNTRY && option_len != 2) {
PHP_DATE_TIMEZONE_PER_COUNTRY 4606 ext/date/php_date.c 		if (what == PHP_DATE_TIMEZONE_PER_COUNTRY) {