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 @@ -