function data_export_format_options($format) { require '../inc/export.inc.php'; if (in_array($format, array_keys(get_export_formats()))) { $GLOBALS['s_export']['target']['filename'] = fix_export_filename_suffix($GLOBALS['s_export']['target']['filename'], $format); $GLOBALS['s_export']['format'] = $format; $html = export_format_options_table($GLOBALS['s_export']); header('Content-Type: text/html;charset=' . $GLOBALS['charset']); echo $html; } }
" cols="<?php echo $s_cust['textarea']['cols']; ?> " wrap="virtual"><?php echo htmlspecialchars($s_export['source']['query']); ?> </textarea> </td> </tr> </table> </div> <table class="table table-bordered"> <tr> <td valign="top" id="dt_export_format_options"> <?php echo export_format_options_table($s_export); ?> </td> <td valign="top"> <table class="table table-bordered"> <tr> <th align="left" colspan="2"><?php echo $dt_strings['GenOpts']; ?> </th> </tr> <tr> <td> <table class="table table-bordered"> <tr> <td>