简单教程
提交运行
代码编辑器：
<?php echo timezone_name_from_abbr("EST") , "<br>"; echo timezone_name_from_abbr("",7200,0);
运行结果：