123456789101112131415161718192021222324 |
- --TEST--
- Bug #78383: Casting a DateTime to array no longer returns its properties
- --FILE--
- <?php
- var_dump((array) new DateTime('2000-01-01 UTC'));
- var_dump((array) new DateTimeZone('Europe/Berlin'));
- ?>
- --EXPECT--
- array(3) {
- ["date"]=>
- string(26) "2000-01-01 00:00:00.000000"
- ["timezone_type"]=>
- int(3)
- ["timezone"]=>
- string(3) "UTC"
- }
- array(2) {
- ["timezone_type"]=>
- int(3)
- ["timezone"]=>
- string(13) "Europe/Berlin"
- }
|