国家/地区在PHP DateTimeZone中没有时区

Question

这是一个php bug吗？国家/地区 Nederlandse Antillen （'AN'）未在DateTimeZone注册任何时区。

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

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