patch #1807615 [GUI] Display patch for column rights in Opera

ChangeLog

@@ -20,6 +20,7 @@ $HeadURL: https://phpmyadmin.svn.sourceforge.net/svnroot/phpmyadmin/trunk/phpMyA
 - patch #1808578 Changes in font size were no longer detected after patch
   #1787915
 + [lang] Croatian update, thanks to Renato Pavicic
+- patch #1807615 [GUI] Display patch for column rights in Opera
 
 2.11.1.1 (not yet released)
 - bug #1810629 [setup] XSS in setup.php, thanks to Omer Singer, The DigiTrust Group

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) . '"';