Support for Drupal 7 is ending on 5 January 2025—it’s time to migrate to Drupal 10! Learn about the many benefits of Drupal 10 and find migration tools in our resource center.
Please, see attached patch. It hides the search box when the current user has no 'search content' permission.
BTW, shouldn't the functions search_box() and theme_search_box() be moved to search.module?
Comment | File | Size | Author |
---|---|---|---|
theme.inc.toogle_search.patch | 329 bytes | markus_petrux | |
Comments
Comment #1
Steven CreditAttribution: Steven commentedCommitted to HEAD, thanks.
Comment #2
(not verified) CreditAttribution: commented