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