1--TEST--
2IntlTimeZone::getRegion(): basic test
3--EXTENSIONS--
4intl
5--FILE--
6<?php
7ini_set("intl.error_level", E_WARNING);
8print_R(IntlTimeZone::getRegion('Europe/Amsterdam'));
9echo "\n";
10print_R(intltz_get_region('Europe/Amsterdam'));
11echo "\n";
12?>
13--EXPECT--
14NL
15NL
16