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