'; } ?>

*/ ?>	() = 32306) { ?>         " class="textfield" />
' , '') . "\n"; ?>
' . $strCharsetOfFile . ''; echo "\n"; $temp_charset = reset($cfg['AvailableCharsets']); echo '' . "\n" . ' ' . $temp_charset . '' . "\n"; while ($temp_charset = next($cfg['AvailableCharsets'])) { echo ' ' . $temp_charset . '' . "\n"; } // end while echo ' '; } // end if echo "\n"; ?>   = 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) { if ($is_zip) { ?>