From 54a487ba6356063e1740d7385fd6995ba0df5eb4 Mon Sep 17 00:00:00 2001 From: Yannick Warnier Date: Sun, 22 Mar 2009 02:26:42 +0100 Subject: [PATCH] [svn r19177] Added usermanager::is_admin(user_id) --- main/inc/lib/main_api.lib.php | 1 + main/inc/lib/usermanager.lib.php | 17 ++++++++++++++++- 2 files changed, 17 insertions(+), 1 deletion(-) diff --git a/main/inc/lib/main_api.lib.php b/main/inc/lib/main_api.lib.php index 4dd9cf9211..f34582c0fe 100644 --- a/main/inc/lib/main_api.lib.php +++ b/main/inc/lib/main_api.lib.php @@ -1241,6 +1241,7 @@ function api_get_interface_language() { * Check if current user is a platform administrator * @return boolean True if the user has platform admin rights, * false otherwise. +* @see usermanager::is_admin(user_id) for a user-id specific function */ function api_is_platform_admin($allow_sessions_admins = false) { if($_SESSION['is_platformAdmin']) { diff --git a/main/inc/lib/usermanager.lib.php b/main/inc/lib/usermanager.lib.php index 6052cb9595..17b4e22487 100644 --- a/main/inc/lib/usermanager.lib.php +++ b/main/inc/lib/usermanager.lib.php @@ -1,4 +1,4 @@ -