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