1--TEST--
2Format timestamp in DST test
3--INI--
4date.timezone=CEST
5--FILE--
6<?php
7error_reporting(E_ALL & ~E_WARNING); // hide e_warning warning about timezones
8var_dump( date_create( '@1202996091' )->format( 'c' ) );
9?>
10--EXPECT--
11string(25) "2008-02-14T13:34:51+00:00"
12