+
+// Checks wether if the admin menu has entries
+function ifAdminMenuHasEntries ($action) {
+ return (
+ ((
+ isset($GLOBALS['admin_menu_has_entries'][$action])
+ ) && (
+ $GLOBALS['admin_menu_has_entries'][$action] === true
+ )) || (
+ $action == "login"
+ )
+ );
+}
+
+// Setter for 'admin_menu_has_entries'
+function setAdminMenuHasEntries ($action, $hasEntries) {
+ $GLOBALS['admin_menu_has_entries'][$action] = (bool) $hasEntries;
+}
+
+// Creates a link to the user's admin-profile
+function ADMIN_CREATE_USERID_LINK ($uid) {
+ // Is the userid set correctly?
+ if ($uid > 0) {
+ // Create a link to that profile
+ return "{!URL!}/modules.php?module=admin&what=list_user&uid=".bigintval($uid);
+ } // END - if
+
+ // Return a link to the user list
+ return "{!URL!}/modules.php?module=admin&what=list_user";
+}
+