PHP: Call to undefined function gzdecode()

J'obtiens un message d'erreur étrange avec le morceau suivant du code PHP (je ne suis pas un PHP expert):

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);
    }
}

Je suis fondamentalement d'essayer de charger le contenu texte à partir d'un fichier au format gzip. J'obtiens l'erreur suivante:

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

Encore, quand je prends un coup d'oeil à la documentation, il ne semble pas que j'aurais besoin d'inclure une bibliothèque, ou suis-je mal? Comment puis-je résoudre ce problème?

Mise à JOUR

La suite d'un autre question pour vérifier si cette bibliothèque est installé sur mon PC, la réponse est oui, il est.

À partir de PHP info:

De sorte que cela devient de plus en plus confuse...

MISE À JOUR II

J'ai essayé:

<?php

echo phpversion().", ";

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

if (extension_loaded('zlib')) {
  echo "zlib extension loaded ";
} else {
  echo "zlib extension not loaded ";
}

?>

et j'obtiens:

5.2.17, gzdecode no OK, zlib extension loaded 

OriginalL'auteur Jérôme Verstrynge | 2012-03-21

functionphpundefined