1--TEST--
2Bug #43527 (DateTime created from a timestamp reports environment timezone)
3--FILE--
4<?php
5date_default_timezone_set("Etc/GMT+1");
6$datetime = new DateTime('Fri, 07 Dec 2007 19:05:14 +1000');
7echo $datetime->getTimezone()->getName(), "\n";
8?>
9--EXPECT--
10+10:00
11
