1--TEST--
2IntlTimeZone::getID(): errors
3--EXTENSIONS--
4intl
5--FILE--
6<?php
7ini_set("intl.error_level", E_WARNING);
8
9intltz_get_id(null);
10?>
11--EXPECTF--
12Fatal error: Uncaught TypeError: intltz_get_id(): Argument #1 ($timezone) must be of type IntlTimeZone, null given in %s:%d
13Stack trace:
14#0 %s(%d): intltz_get_id(NULL)
15#1 {main}
16  thrown in %s on line %d
17