PHP_DATE_TIMEZONE_GROUP_ASIA 2071 ext/date/php_date.c 	REGISTER_TIMEZONE_CLASS_CONST_STRING("ASIA",        PHP_DATE_TIMEZONE_GROUP_ASIA);
PHP_DATE_TIMEZONE_GROUP_ASIA 4470 ext/date/php_date.c 	if (what & PHP_DATE_TIMEZONE_GROUP_ASIA       && strncasecmp(id, "Asia/",        5) == 0) return 1;