public static function file_exists($fn)
{
$ffn = PHPUNIT_DIR . $fn;
if (!file_exists($ffn)) {
$zfn = $ffn . '.gz';
if (!file_exists($zfn)) {
return false;
}
$gz = file_get_contents($zfn);
$data = hQuery::gzdecode($gz);
if (!file_put_contents($ffn, $data)) {
return false;
}
}
return $ffn;
}
