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