Description:
------------
Originally, http://bugs.xdebug.org/view.php?id=1081, but really a PHP bug. Calling var_dump() on a DateTimeZone object modifies it in some circumstances.

Test script:
---------------
<?php

$tz1 = new DateTimeZone('Europe/Berlin');
$tz2 = new DateTimeZone('Europe/Berlin');

$d = new DateTime('2014-12-24 13:00:00', $tz1);
var_dump($d->getTimezone(), $tz2);

if($tz2 == $d->getTimezone()) {
    echo "yes";
}
else {
    echo "no";
}


Expected result:
----------------
yes

Actual result:
--------------
no