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