diff options
Diffstat (limited to 'modules/user.module')
| -rw-r--r-- | modules/user.module | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/modules/user.module b/modules/user.module index 52a396b07..68d25921a 100644 --- a/modules/user.module +++ b/modules/user.module @@ -453,9 +453,11 @@ function user_link($type) { menu("admin/user/access/user", t("name rules"), "user_admin"); menu("admin/user/role", t("roles"), "user_admin", 4); menu("admin/user/permission", t("permissions"), "user_admin", 5); - menu("admin/user/search", t("search"), "user_admin", 8); menu("admin/user/help", t("help"), "user_help_page", 9); menu("admin/user/edit", t("edit user account"), "user_admin", 0, MENU_HIDE); + if (module_exist('search')) { + menu("admin/user/search", t("search"), "user_admin", 8); + } } } } |