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