+
+// 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 adminCreateUserLink ($userid) {
+ // Is the userid set correctly?
+ if ($userid > 0) {
+ // Create a link to that profile
+ return '{?URL?}/modules.php?module=admin&what=list_user&userid='.bigintval($userid);
+ } // END - if
+
+ // Return a link to the user list
+ return '{?URL?}/modules.php?module=admin&what=list_user';
+}
+
+// [EOF]