php - 国には PHP の DateTimeZone にタイムゾーンがありません

Question

これはphpのバグですか？国オランダ領アンティレン('AN') は にタイムゾーンを登録していませんDateTimeZone。

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

他の国もあるかもしれませんが、たまたまこの国に出くわしただけです。