'; if (isset($sql_query)) { echo ' '; } ?>

> /> /> /> /> />	() /> onclick="if(!this.checked && !getElement('checkbox_sql_data').checked) return false; else return true;" /> /> = 32306) { ?> /> /> /> /> onclick="if(!this.checked && !getElement('checkbox_sql_structure').checked) return false; else return true;" /> /> /> onclick="if(!this.checked && !getElement('checkbox_latex_data').checked) return false; else return true;" /> /> /> /> onclick="if(!this.checked && !getElement('checkbox_latex_structure').checked) return false; else return true;" /> />         " 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) { ?> /> /> />

*	', '') . "\n"; ?>