From 109eb9e1f2b068238be50a86e45b728a76395f20 Mon Sep 17 00:00:00 2001 From: Atul Pratap Singh Date: Thu, 6 Feb 2014 00:04:29 +0530 Subject: [PATCH] Fix bug#4274 index_div was being added twice Signed-off-by: Atul Pratap Singh --- libraries/display_structure.inc.php | 3 --- libraries/structure.lib.php | 7 ++++--- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/libraries/display_structure.inc.php b/libraries/display_structure.inc.php index 60eeba3c00..dade7f4938 100644 --- a/libraries/display_structure.inc.php +++ b/libraries/display_structure.inc.php @@ -225,9 +225,6 @@ $response->addHTML( if (! $tbl_is_view && ! $db_is_information_schema) { $response->addHTML('
'); $response->addHTML(PMA_getHtmlForAddColumn($columns_list)); - $response->addHTML( - '
' - ); } /** diff --git a/libraries/structure.lib.php b/libraries/structure.lib.php index 5339872e9b..38951b8049 100644 --- a/libraries/structure.lib.php +++ b/libraries/structure.lib.php @@ -1798,9 +1798,7 @@ function getHtmlForRowStatsTable($showtable, $tbl_collation, ); } $html_output .= '' - . '' - . '' - . '
'; + . ''; return $html_output; } @@ -2240,6 +2238,9 @@ function PMA_getHtmlForDisplayTableStats($showtable, $table_info_num_rows, (isset ($avg_size) ? $avg_size : ''), (isset ($avg_unit) ? $avg_unit : '') ); + + $html_output .= '' + . ''; return $html_output; }