相关疑难解决方法(0)

我收到一个奇怪的错误消息与下面的PHP代码(我不是PHP专家):

if ( $file_loc != NULL ) {
    if ( file_exists($file_loc) ) {
        printf(" file exists");
        $handle = fopen($file_loc, "rb");
        $contents = fread($handle, filesize($file_loc));
        fclose($handle);
        $result = gzdecode($contents);
    }
}

我基本上是尝试从gzip压缩文件中加载文本内容.我收到以下错误:

Fatal error: Call to undefined function gzdecode() in ...\sites\MyScripts\fw2.php on line 80

然而,当我看一下文档时,似乎我不需要包含额外的库,或者我错了？我该如何解决这个问题？

UPDATE

接下来的问题是检查我的电脑上是否安装了这个库,答案是肯定的,确实如此.

来自PHP信息:

所以这变得越来越混乱......

更新II

我试过了:

<?php

echo phpversion().", ";

if (function_exists("gzdecode")) {
  echo "gzdecode OK, ";
} else {
  echo "gzdecode no OK, ";
}

if (extension_loaded('zlib')) {
  echo "zlib extension …

致命错误：在...中找不到类'DropDead \ HomeBundle \ Controller \ DOMDocument'。

我需要安装php-xml。我正在使用OSX。无法找到如何安装此扩展程序。