问题说明：

  在mantis使用中，菜单：个人资料- 更改个人设置 时，有时因为服务器的原因无法带出时区，导致个人设置无法保存。

终极解决办法：

写死时区为中国Asia/Shanghai，修改文件：/core/print_api.php中的方法：print_timezone_option_list，修改为：

# ——————–

# Print the option list for timezones

function print_timezone_option_list( $p_timezone ) {

var_dump(function_exists( ‘timezone_identifiers_list’ ) );

echo ‘<option value=”Asia/Shanghai” selected=”selected”>Asia/Shanghai</option>’;

return;

}