diff options
Diffstat (limited to 'server_privileges.php')
-rw-r--r-- | server_privileges.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/server_privileges.php b/server_privileges.php index 0315529da4..b6e33978c4 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -377,6 +377,8 @@ function PMA_displayPrivTable($db = '*', $table = '*', $submit = TRUE, $indent = } // end foreach() echo $spaces . ' </div>' . "\n"; + // for Safari 2.0.2 + echo $spaces . ' <div class="clearfloat"></div>' . "\n"; } else { @@ -529,6 +531,8 @@ function PMA_displayPrivTable($db = '*', $table = '*', $submit = TRUE, $indent = } echo $spaces . ' </fieldset>' . "\n"; } + // for Safari 2.0.2 + echo $spaces . ' <div class="clearfloat"></div>' . "\n"; } echo $spaces . '</fieldset>' . "\n"; if ($submit) { |