From 5a2a2fa7e4fea72cd0bba397d7fd8df13164d1d4 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Sat, 31 Mar 2012 15:43:25 +0100
Subject: [PATCH] more removal of distinct classes

---
 ext/user/main.php | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/ext/user/main.php b/ext/user/main.php
index 4277fbef..4e98de69 100644
--- a/ext/user/main.php
+++ b/ext/user/main.php
@@ -306,12 +306,7 @@ class UserPage extends Extension {
 		if(!is_null($duser)) {
 			$user = $duser;
 			$this->set_login_cookie($name, $pass);
-			if($user->is_admin()) {
-				log_warning("user", "Admin logged in");
-			}
-			else {
-				log_info("user", "User logged in");
-			}
+			log_info("user", "{$user->class->name} logged in");
 			$page->set_mode("redirect");
 			$page->set_redirect(make_link("user"));
 		}