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