Código PHP:
<?php
$city["Name"] = "México";
$city["GMT"] = 1.0;
$city["actualDST"] = 1.0;
$gmt_diff = $city["GMT"]+$city["actualDST"];
$city_time = time()+($gmt_diff*3600); ?> despues utilizo echo para mostrar el tiempo, pero el problema es que me da la hora GMT; se supone que cambiando el $city["GMT"] por 6.0 me daria la hora de México, porfavor corriganme si estoy mal.
