Tipurile resurselor

This extension defines a file pointer resource returned by gzopen().