1--TEST-- 2IntlDateFormatter: setTimeZoneID() deprecation 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); 10ini_set("intl.default_locale", "pt_PT"); 11ini_set("date.timezone", 'Atlantic/Azores'); 12 13$df = new IntlDateFormatter('pt_PT', 0, 0, 'Europe/Minsk'); 14 15$df->setTimeZoneId('Europe/Madrid'); 16 17?> 18==DONE== 19--EXPECTF-- 20 21Deprecated: IntlDateFormatter::setTimeZoneId(): Use datefmt_set_timezone() instead, which also accepts a plain time zone identifier and for which this function is now an alias in %s on line %d 22==DONE== 23