1--TEST--
2IntlTimeZone::fromDateTimeZone(): argument errors
3--INI--
4date.timezone=Atlantic/Azores
5--SKIPIF--
6<?php
7if (!extension_loaded('intl'))
8    die('skip intl extension not enabled');
9--FILE--
10<?php
11ini_set("intl.error_level", E_WARNING);
12
13$dt = new DateTime('2012-08-01 00:00:00 WEST');
14var_dump(IntlTimeZone::fromDateTimeZone($dt->getTimeZone()));
15?>
16--EXPECTF--
17Warning: IntlTimeZone::fromDateTimeZone(): intltz_from_date_time_zone: time zone id 'WEST' extracted from ext/date DateTimeZone not recognized in %s on line %d
18NULL
19