From: Vincent Zanotti <vincent.zanotti@polytechnique.org>
Date: Mon, 5 Jan 2009 19:00:17 +0000 (+0100)
Subject: Adds missing include in modules/admin.
X-Git-Tag: xorg/0.10.1~49^2~29
X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=af7b379904c7dc2bdaf205cf1974ed48e66d6c21;p=platal.git

Adds missing include in modules/admin.

Signed-off-by: Vincent Zanotti <vincent.zanotti@polytechnique.org>
---

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 !");