1--TEST-- 2IntlTimeZone::getRegion(): errors 3--EXTENSIONS-- 4intl 5--FILE-- 6<?php 7ini_set("intl.error_level", E_WARNING); 8 9var_dump(IntlTimeZone::getRegion("foo\x81")); 10var_dump(IntlTimeZone::getRegion("foo")); 11?> 12--EXPECTF-- 13Warning: IntlTimeZone::getRegion(): intltz_get_region: could not convert time zone id to UTF-16 in %s on line %d 14bool(false) 15 16Warning: IntlTimeZone::getRegion(): intltz_get_region: Error obtaining region in %s on line %d 17bool(false) 18