- Added test for (bogus) bug #48097.

ext/date/tests/bug48097.phpt

@@ -0,0 +1,38 @@
+--TEST--
+Bug #48097 (date_timezone_set function produces wrong datetime result)
+--INI--
+date.timezone=UTC
+--FILE--
+<?php
+$d = date_create( "Mon, 23 May 1955 00:00:00 +0200" );
+var_dump( $d );
+echo $d->format( DATE_ISO8601 ), "\n";
+echo $d->format( 'U' ), "\n\n";
+
+$d->setTimeZone( new DateTimeZone( 'Europe/Budapest' ) );
+var_dump( $d );
+echo $d->format( DATE_ISO8601 ), "\n\n";
+echo $d->format( 'U' ), "\n\n";
+--EXPECT--
+object(DateTime)#1 (3) {
+  [u"date"]=>
+  unicode(19) "1955-05-23 00:00:00"
+  [u"timezone_type"]=>
+  int(1)
+  [u"timezone"]=>
+  unicode(6) "+02:00"
+}
+1955-05-23T00:00:00+0200
+-461124000
+
+object(DateTime)#1 (3) {
+  [u"date"]=>
+  unicode(19) "1955-05-22 23:00:00"
+  [u"timezone_type"]=>
+  int(3)
+  [u"timezone"]=>
+  unicode(15) "Europe/Budapest"
+}
+1955-05-22T23:00:00+0100
+
+-461124000