if (dst == 0 && tmp_offset->is_dst == 1) {
adjust_seconds = +3600;
}
+ timelib_time_offset_dtor(tmp_offset);
}
}
/* Clean up and return */
--TEST--
-Bug #20382 (strtotime ("Monday", $date) produces wrong result on DST changeover)
+Bug #20382 [1] (strtotime ("Monday", $date) produces wrong result on DST changeover)
--FILE--
<?php
putenv("TZ=Europe/Amsterdam");
--TEST--
-Bug #27719: mktime returns incorrect timestamp for dst days
+Bug #27719 (mktime returns incorrect timestamp for dst days)
--INI--
error_reporting=2047
--FILE--