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