From 711f1d3539c4912ed973deabc6bbf863de70cc8e Mon Sep 17 00:00:00 2001
From: Anne Limoges <anne.limoges_git@polytechnique.org>
Date: Fri, 28 Dec 2012 16:35:54 +0100
Subject: [PATCH] Adds a dagger symbol for dead people on group members.

---
 plugins/function.profile.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/plugins/function.profile.php b/plugins/function.profile.php
index ccf45fc..f970160 100644
--- a/plugins/function.profile.php
+++ b/plugins/function.profile.php
@@ -62,7 +62,9 @@ function smarty_function_profile($params, $smarty)
             $name = '<a href="profile/' . $profile->hrid() . '" class="popup2">' . $name . '</a>';
         }
     }
-    if ($user->lost) {
+    if ($profile && $profile->isDead()) {
+        $name .= ' &dagger;';
+    } else if ($user->lost) {
         $name .= ' <a href="https://www.polytechnique.org/marketing/broken/' . $user->hruid . '"><img src="images/icons/error.gif" alt="Patte cassée" /></a>';
     }
     if ($with_groupperms && $user instanceof User && $user->group_perms == 'admin' && !empty($name)) {
-- 
2.1.4