0881 if($encoding = BS_check_gzip())
0882 {
0883 $gzip_contents = ob_get_contents();
0884 ob_end_clean();
0885
0886 header('Content-Encoding: '.$encoding);
0887 $gzip_size = strlen($gzip_contents);
0888 $gzip_crc = crc32($gzip_contents);
0889 $gzip_contents = gzcompress($gzip_contents,1);
0890 $gzip_contents = substr($gzip_contents,0,strlen($gzip_contents) - 4);
0891
0892 echo "\x1f\x8b\x08\x00\x00\x00\x00\x00";