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