>
= 40004) {
$is_zip = (isset($cfg['ZipDump']) && $cfg['ZipDump'] && @function_exists('gzcompress'));
$is_gzip = (isset($cfg['GZipDump']) && $cfg['GZipDump'] && @function_exists('gzencode'));
$is_bzip = (isset($cfg['BZipDump']) && $cfg['BZipDump'] && @function_exists('bzcompress'));
if ($is_zip || $is_gzip || $is_bzip) {
echo "\n" . ' (' . "\n";
if ($is_zip) {
?>
' . $strZip . ''
. (($is_gzip || $is_bzip) ? ' ' : '') . "\n";
}
if ($is_gzip) {
echo "\n"
?>
' . $strGzip . ''
. (($is_bzip) ? ' ' : '') . "\n";
}
if ($is_bzip) {
echo "\n"
?>
' . $strBzip . '' . "\n";
}
echo "\n" . ' )';
}
} // end *zip feature
echo "\n";
// Encoding setting form appended by Y.Kawada
if (function_exists('PMA_set_enc_form')) {
echo ' ' . "\n"
. PMA_set_enc_form(' ');
}
?>
|