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:
authorMarc Delisle <marc@infomarc.info>2011-10-02 15:41:32 +0400
committerMarc Delisle <marc@infomarc.info>2011-10-02 15:41:32 +0400
commit1df108de90c48560796afc62f16beaf1ceb9b77e (patch)
tree53137e3c8446bea3d52d960a4888569e222080a3 /server_synchronize.php
parent2c7b06f543b591182684ad8fa3fb83c04162d031 (diff)
Fix merge conflicts
Diffstat (limited to 'server_synchronize.php')
-rw-r--r--server_synchronize.php28
1 files changed, 15 insertions, 13 deletions
diff --git a/server_synchronize.php b/server_synchronize.php
index 1cee388732..83acf6b137 100644
--- a/server_synchronize.php
+++ b/server_synchronize.php
@@ -1170,7 +1170,10 @@ if (! isset($_REQUEST['submit_connect'])
$databases_to_hide = array(
'information_schema',
'mysql'
- );
+ );
+ if (PMA_DRIZZLE) {
+ $databases_to_hide[] = 'data_dictionary';
+ }
if ($GLOBALS['cfg']['AllowArbitraryServer'] === false) {
$possibly_readonly = ' readonly="readonly"';
@@ -1278,23 +1281,22 @@ if (! isset($_REQUEST['submit_connect'])
<td><?php echo __('Database'); ?></td>
<td>
<?php
- // these unset() do not complain if the elements do not exist
- unset($databases['mysql']);
- unset($databases['information_schema']);
- if (PMA_DRIZZLE) {
- unset($databases['data_dictionary']);
+ $options_list = '';
+ foreach ($databases as $array_key => $db) {
+ if (in_array($db['SCHEMA_NAME'], $databases_to_hide)) {
+ unset($databases[$array_key]);
+ } else {
+ $options_list .= '<option>' . htmlspecialchars($db['SCHEMA_NAME']) . '</option>';
+ }
}
if (count($databases) == 0) {
echo __('No databases');
} else {
- echo '
- <select name="' . $type . '_db_sel">
- ';
- foreach ($databases as $db) {
- echo ' <option>' . htmlspecialchars($db['SCHEMA_NAME']) . '</option>';
- }
- echo '</select>';
+ echo '<select name="' . $type . '_db_sel">'
+ . $options_list
+ . '</select>';
+ unset($options_list);
}
echo '</td> </tr>
</table>';