php - 国家在 PHP DateTimeZone 中没有时区

Question

这是一个php错误吗？Nederlandse Antillen ('AN')国家没有在DateTimeZone.

$country_code = 'AN'; // Nederlandse Antillen
print_r(DateTimeZone::listIdentifiers(DateTimeZone::PER_COUNTRY, $country_code));

可能还有其他国家，但我只是偶然遇到了这个国家。