From f08d2ded46658fcd67ffe4b3ab26d2bc405ffeb1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Tue, 9 Aug 2011 07:36:11 +0200
Subject: [PATCH] Unused variable

---
 libraries/Theme_Manager.class.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libraries/Theme_Manager.class.php b/libraries/Theme_Manager.class.php
index eac54ef52a..174c031650 100644
--- a/libraries/Theme_Manager.class.php
+++ b/libraries/Theme_Manager.class.php
@@ -284,7 +284,6 @@ class PMA_Theme_Manager
             $select_box .=  PMA_generate_common_hidden_inputs();
         }
 
-        $theme_selected = false;
         $theme_preview_path= './themes.php';
         $theme_preview_href = '<a href="' . $theme_preview_path . '" target="themes" class="themeselect">';
         $select_box .=  $theme_preview_href . __('Theme') . '</a>:' . "\n";