Fixed bug #45543: DateTime::setTimezone can not set timezones without ID.
Merge branch '45543-timezone-set' into PHP-5.4