--TEST--
Bug #27719 (mktime returns incorrect timestamp for dst days)
--INI--
date.timezone=EST
error_reporting=2047
--FILE--
<?php /* $Id$ */
    
$a mktime(0004420040);
    
$b mktime(0004420041);
    
$c mktime(000442004, -1);
    echo 
"$a ".date("m/d/y h:i:s\n",$a);
    echo 
"$b ".date("m/d/y h:i:s\n",$b);
    echo 
"$c ".date("m/d/y h:i:s\n",$c);
    echo 
"\n";
    
date_default_timezone_set('EST5EDT');  // DST not in effect
    
$a mktime(0002420040);
    
$b mktime(0002420041);
    
$c mktime(000242004, -1);
    echo 
"$a ".date("m/d/y h:i:s\n",$a);
    echo 
"$b ".date("m/d/y h:i:s\n",$b);
    echo 
"$c ".date("m/d/y h:i:s\n",$c);
    echo 
"\n";
    
date_default_timezone_set('EST5EDT');
    
$a mktime(0004420040);
    
$b mktime(0004420041);
    
$c mktime(000442004, -1);
    echo 
"$a ".date("m/d/y h:i:s\n",$a);
    echo 
"$b ".date("m/d/y h:i:s\n",$b);
    echo 
"$c ".date("m/d/y h:i:s\n",$c);
    echo 
"\n";
    
date_default_timezone_set('EST5EDT');
    
$a mktime(3004420040);
    
$b mktime(3004420041);
    
$c mktime(300442004, -1);
    echo 
"$a ".date("m/d/y h:i:s\n",$a);
    echo 
"$b ".date("m/d/y h:i:s\n",$b);
    echo 
"$c ".date("m/d/y h:i:s\n",$c);
    echo 
"\n";
    
date_default_timezone_set('EST5EDT');
    
$a mktime(0006420040);
    
$b mktime(0006420041);
    
$c mktime(000642004, -1);
    echo 
"$a ".date("m/d/y h:i:s\n",$a);
    echo 
"$b ".date("m/d/y h:i:s\n",$b);
    echo 
"$c ".date("m/d/y h:i:s\n",$c);
    echo 
"\n";
?>
--EXPECTF--
1081054800 04/04/04 12:00:00
%s
1081054800 04/04/04 12:00:00

1075870800 02/04/04 12:00:00
1075867200 02/03/04 11:00:00
1075870800 02/04/04 12:00:00

1081054800 04/04/04 12:00:00
1081051200 04/03/04 11:00:00
1081054800 04/04/04 12:00:00

1081065600 04/04/04 04:00:00
1081062000 04/04/04 03:00:00
1081062000 04/04/04 03:00:00

1086325200 06/04/04 01:00:00
1086321600 06/04/04 12:00:00
1086321600 06/04/04 12:00:00