+
+// 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';
+}
+