public static int ReadGzFile(string filename, int use_include_path) { PhpStream fs = (PhpStream)GzOpen(filename, "r", use_include_path); return(PhpStreams.Copy(fs, InputOutputStreamWrapper.ScriptOutput)); }