From af7b379904c7dc2bdaf205cf1974ed48e66d6c21 Mon Sep 17 00:00:00 2001
From: Vincent Zanotti <vincent.zanotti@polytechnique.org>
Date: Mon, 5 Jan 2009 20:00:17 +0100
Subject: [PATCH] Adds missing include in modules/admin.

Signed-off-by: Vincent Zanotti <vincent.zanotti@polytechnique.org>
---
 modules/admin.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/admin.php b/modules/admin.php
index 152c65e..b233c91 100644
--- a/modules/admin.php
+++ b/modules/admin.php
@@ -622,6 +622,7 @@ class AdminModule extends PLModule
 
                 // User re-registration.
                 case "u_kill":
+                    require_once('user.func.inc.php');
                     user_clear_all_subs($user->id());
                     $globals->updateNbIns();
                     $page->trigSuccess("'" . $user->id() . "' a été désinscrit !");
-- 
2.1.4