PHP/Date/date default timezone set

Changing time zone with date_default_timezone_set()

 
<?php
$now = time();
date_default_timezone_set("America/New York");
print date("c", $now);
date_default_timezone_set("Europe/Paris");
print date("c", $now);
?>

Handling DST with date_default_timezone_set()

 
<?php
date_default_timezone_set("America/Denver");
$summer = mktime(12,0,0,7,4,2008);
print date("c", $summer) . "\n";
date_default_timezone_set("America/Phoenix");
print date("c", $summer) . "\n";
?>