1--TEST--
2DateTime::setTimestamp()
3--FILE--
4<?php
5date_default_timezone_set('Europe/Oslo');
6$d = new DateTime( '@1217184864' );
7echo $d->format( "Y-m-d H:i e\n" );
8
9$d = new DateTime();
10$d->setTimestamp( 1217184864 );
11echo $d->format( "Y-m-d H:i e\n" );
12?>
13--EXPECT--
142008-07-27 18:54 +00:00
152008-07-27 20:54 Europe/Oslo
16