From 356cadf2b2214c39c377d7421717e1a5a3530c05 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 19 Feb 2013 16:46:29 -0800
Subject: [PATCH] Avoid variable collision

---
 adminer/db.inc.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/adminer/db.inc.php b/adminer/db.inc.php
index 101d4911..4db10296 100644
--- a/adminer/db.inc.php
+++ b/adminer/db.inc.php
@@ -158,12 +158,12 @@ if ($adminer->homepage()) {
 		
 		if (support("type")) {
 			echo "<h3>" . lang('User types') . "</h3>\n";
-			$types = types();
-			if ($types) {
+			$user_types = types();
+			if ($user_types) {
 				echo "<table cellspacing='0'>\n";
 				echo "<thead><tr><th>" . lang('Name') . "</thead>\n";
 				odd('');
-				foreach ($types as $val) {
+				foreach ($user_types as $val) {
 					echo "<tr" . odd() . "><th><a href='" . h(ME) . "type=" . urlencode($val) . "'>" . h($val) . "</a>\n";
 				}
 				echo "</table>\n";