From 97bcf33be68bf125d8ac151c4537e1e46301e64b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Mon, 24 Oct 2005 22:15:16 +0000
Subject: [PATCH] Remove useless isset.

---
 ChangeLog | 1 +
 main.php  | 6 ++----
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 63b08dc68..40740af3d 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -8,6 +8,7 @@ $Source$
 2005-10-24 Michal Čihař  <michal@cihar.com>
     * tbl_properties_operations.php: Fix changing table attributes, reread new
       parameters after changing them (bug #1290413).
+    * main.php: Remove useless isset.
 
 2005-10-23 Marc Delisle  <lem9@users.sourceforge.net>
     * libraries/relation.lib.php: there is already a function to do this
diff --git a/main.php b/main.php
index 0685ec487..0c3ce9c08 100644
--- a/main.php
+++ b/main.php
@@ -519,15 +519,13 @@ if (isset($available_themes_choices) && $available_themes_choices > 1) {
     <!-- Theme Manager -->
     <tr>
 <?php
-        echo '        ' . ($str_iconic_list != '' ? sprintf($str_iconic_list,$theme_preview_href,'s_theme.png',(isset($strTheme) ? $strTheme : 'Theme (Style)'),'</a>') : $str_normal_list) . "\n";
+        echo '        ' . ($str_iconic_list != '' ? sprintf($str_iconic_list,$theme_preview_href,'s_theme.png',$strTheme ,'</a>') : $str_normal_list) . "\n";
 ?>
         <td>
             <form name="setTheme" method="post" action="index.php" target="_parent">
                 <?php
                 echo PMA_generate_common_hidden_inputs('', '', 5);
-                echo $theme_preview_href
-                   . (isset($strTheme) ? $strTheme : 'Theme (Style)')
-                   . '</a>:' . "\n";
+                echo $theme_preview_href . $strTheme . '</a>:' . "\n";
                 ?>
                 <select name="set_theme" dir="ltr" onchange="this.form.submit();" style="vertical-align: middle">
                 <?php