PHP_DATE_TIMEZONE_GROUP_EUROPE 2074 ext/date/php_date.c 	REGISTER_TIMEZONE_CLASS_CONST_STRING("EUROPE",      PHP_DATE_TIMEZONE_GROUP_EUROPE);
PHP_DATE_TIMEZONE_GROUP_EUROPE 4473 ext/date/php_date.c 	if (what & PHP_DATE_TIMEZONE_GROUP_EUROPE     && strncasecmp(id, "Europe/",      7) == 0) return 1;