可能没有安装DateTimeZone类？

Question

我有一台安装了PHP 5.3.3的服务器。我知道PHP手册说DateTimeZone要求5.2或更高，所以我应该很好，但我得到一个错误：

警告：require_once（datetimezone.php）：无法打开流：在第12行的/public_html/admin/index.php中致命错误：require_once（）：无法打开所需的日期时间区.php＆＃39;

我猜是因为我设置了自动加载功能（在index.php的第12行附近），它没有找到DateTimeZone类，然后尝试自动加载适当命名的文件并失败。

function __autoload($class) {
    $path = strtolower(str_replace('_', '/', $class));
    require_once "$path.php";
}

如何安装/检查是否已安装DateTimeZone？