diff --git a/htdocs/sql/libraries/display_export.lib.php b/htdocs/sql/libraries/display_export.lib.php deleted file mode 100755 --- a/htdocs/sql/libraries/display_export.lib.php +++ /dev/null @@ -1,272 +0,0 @@ - $export_type, 'single_table' => isset($single_table))); - -/* Fail if we didn't find any plugin */ -if (empty($export_list)) { - $GLOBALS['show_error_header'] = TRUE; - PMA_showMessage($strCanNotLoadExportPlugins); - unset($GLOBALS['show_error_header']); - require './libraries/footer.inc.php'; -} -?> - -
- -