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