1--TEST--
2IntlDateFormatter::setTimeZone() bad args
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(NULL, 0, 0);
14
15var_dump($df->setTimeZone(array()));
16var_dump($df->setTimeZone('non existing timezone'));
17
18?>
19--EXPECTF--
20Warning: Array to string conversion in %s on line %d
21
22Warning: IntlDateFormatter::setTimeZone(): datefmt_set_timezone: No such time zone: 'Array' in %s on line %d
23bool(false)
24
25Warning: IntlDateFormatter::setTimeZone(): datefmt_set_timezone: No such time zone: 'non existing timezone' in %s on line %d
26bool(false)
27