272   //

   272   gzip_output();

   273   // Compress buffered output if required and send to browser

   274   //

   275   if ( $do_gzip )

   276   {

   277     //

   278     // Copied from phpBB, which was in turn borrowed from php.net

   279     //

   280     $gzip_contents = ob_get_contents();

   281     ob_end_clean();

   282   

   283     $gzip_size = strlen($gzip_contents);

   284     $gzip_crc = crc32($gzip_contents);

   285   

   286     $gzip_contents = gzcompress($gzip_contents, 9);

   287     $gzip_contents = substr($gzip_contents, 0, strlen($gzip_contents) - 4);

   288   

   289     header('Content-encoding: gzip');

   290     echo "\x1f\x8b\x08\x00\x00\x00\x00\x00";

   291     echo $gzip_contents;

   292     echo pack('V', $gzip_crc);

   293     echo pack('V', $gzip_size);

   294   }