function set_default($id) { global $_DATE_TIMEZONE_DEFAULT; if (date_time_zone::is_valid_id($id)) { $_DATE_TIMEZONE_DEFAULT = $id; } }
function convert_to_time_zone_by_id($id) { if (date_time_zone::is_valid_id($id)) { $tz = new date_time_zone($id); } else { $tz = date_time_zone::get_default(); } $this->convert_to_time_zone($tz); }