hphp/test/zend/bad/ext-date/date-set-timestamp.php

   1 <?php
   2 date_default_timezone_set('Europe/Oslo');
   3 $d = new DateTime( '@1217184864' );
   4 echo $d->format( "Y-m-d H:i e\n" );
   5
   6 $d = new DateTime();
   7 $d->setTimestamp( 1217184864 );
   8 echo $d->format( "Y-m-d H:i e\n" );
   9 ?>