1--TEST--
2Format timestamp in DST test
3--INI--
4date.timezone=UTC
5--FILE--
6<?php
7var_dump( date_create( '@1202996091' )->format( 'c' ) );
8?>
9--EXPECT--
10string(25) "2008-02-14T13:34:51+00:00"
11