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