From 1d648d0d32d5ec8e3af5f0ae6acc4926054f6819 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Sat, 31 Mar 2012 15:54:29 +0100
Subject: [PATCH] remove redundant code

---
 ext/user/theme.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ext/user/theme.php b/ext/user/theme.php
index 921810b4..44a65555 100644
--- a/ext/user/theme.php
+++ b/ext/user/theme.php
@@ -190,7 +190,6 @@ class UserPageTheme extends Themelet {
 			if($user->class->name == "admin") {
 				global $_user_classes;
 				$i_user_id = int_escape($duser->id);
-				$h_is_admin = $duser->is_admin() ? " checked" : "";
 				$class_html = "";
 				foreach($_user_classes as $name => $values) {
 					$h_name = html_escape($name);