diff --git a/libraries/display_export.lib.php b/libraries/display_export.lib.php index 367808bed..a724c3d74 100644 --- a/libraries/display_export.lib.php +++ b/libraries/display_export.lib.php @@ -84,11 +84,11 @@ if(isset($_GET['sql_query'])) { export @@ -110,7 +110,7 @@ if(isset($_GET['sql_query'])) { } else { echo ' checked="checked" />'; } - echo ''; ?> + echo ''; ?>
  • '; } - echo '';?> + echo '';?>
  • @@ -333,7 +333,7 @@ if(isset($_GET['sql_query'])) {
    -

    +

    Scroll down to fill in the options for the selected format and ignore the options for other formats.