Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSebastian Mendel <cybot_tm@users.sourceforge.net>2007-10-11 15:19:39 +0400
committerSebastian Mendel <cybot_tm@users.sourceforge.net>2007-10-11 15:19:39 +0400
commit4d7b4826eda55dc7fbb7565c02f1ae106ef0ef88 (patch)
tree4b579cac741477931f353d598d57330d24a80995 /server_privileges.php
parent3c0cf1fd9d9394ae2b5e5ced6505eb1d6d0734d3 (diff)
patch #1807615 [GUI] Display patch for column rights in Opera
Diffstat (limited to 'server_privileges.php')
-rw-r--r--server_privileges.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/server_privileges.php b/server_privileges.php
index d806a44135..2f28280280 100644
--- a/server_privileges.php
+++ b/server_privileges.php
@@ -183,8 +183,8 @@ function PMA_display_column_privs($spaces, $columns, $row, $name_for_select, $pr
echo $spaces . ' <div class="item" id="div_item_' . $name . '">' . "\n"
. $spaces . ' <label for="select_' . $name . '_priv">' . "\n"
. $spaces . ' <tt><dfn title="' . $name_for_dfn . '">' . $priv_for_header . '</dfn></tt>' . "\n"
- . $spaces . ' </label>' . "\n"
- . $spaces . ' <select id="select_' . $name . '_priv" name="' . $name_for_select . '[]" multiple="multiple">' . "\n";
+ . $spaces . ' </label><br />' . "\n"
+ . $spaces . ' <select id="select_' . $name . '_priv" name="' . $name_for_select . '[]" multiple="multiple" size="8">' . "\n";
foreach ($columns as $current_column => $current_column_privileges) {
echo $spaces . ' <option value="' . htmlspecialchars($current_column) . '"';