konverter fra en tidszone til en anden

F.eks.:

setlocale( LC_TIME, "da", "dan", "danish", "da_DK", "da_DK.ISO8859-1" );
$timestr = "Fri, 11 Jul 2008 09:17:03 GMT";
date_default_timezone_set( "CET" );
$time = strtotime( $timestr );
echo ucfirst( strftime("%A, %d. %B %Y, %H:%M:%S (%z)", $time) );