From f1aedc6ab0857d072f788ac9b198d3a5b027b09a Mon Sep 17 00:00:00 2001 From: Sebastian Mendel Date: Wed, 22 Feb 2006 15:10:28 +0000 Subject: [PATCH] added workaround for bug #1436171 Cannot display Capitalised Databases --- ChangeLog | 2 +- left.php | 236 ++++++++++++++++++++++++++++-------------------------- 2 files changed, 123 insertions(+), 115 deletions(-) diff --git a/ChangeLog b/ChangeLog index c8f3bab00..1dcc5b6cc 100755 --- a/ChangeLog +++ b/ChangeLog @@ -7,7 +7,7 @@ $Source$ 2006-02-22 Marc Delisle * libraries/display_tbl.lib.php: bug #1435303, error on empty BLOB transf. - * libraries/database_interface.lib.php PMA_DBI_get_tables_full(): + * libraries/database_interface.lib.php PMA_DBI_get_tables_full(), left.php: added workaround for bug #1436171 Cannot display Capitalised Databases 2006-02-22 Michal Čihař diff --git a/left.php b/left.php index 0f0326919..9616b2f07 100644 --- a/left.php +++ b/left.php @@ -35,16 +35,16 @@ if ($server > 0) { // it defines $num_dbs and $dblist PMA_availableDatabases(); - if ( ( ! isset($db) || ! strlen($db) ) && count( $dblist ) === 1 ) { - reset( $dblist ); - $db = current( $dblist ); + if ((! isset($db) || ! strlen($db)) && count($dblist) === 1) { + reset($dblist); + $db = current($dblist); } } else { $num_dbs = 0; } -$db = isset( $db ) ? $db : ''; -$table = isset( $table ) ? $table : ''; +$db = isset($db) ? $db : ''; +$table = isset($table) ? $table : ''; $db_start = $db; @@ -75,26 +75,26 @@ echo ''; content="text/html; charset=" /> + href="./css/phpmyadmin.css.php?&js_frame=left" />