Wikimedia Bugzilla is closed!

The code in SpecialSearch.php currently has the following section for results that are unreadable by the current user:

 //If page content is not readable, just return the title.
 //This is not quite safe, but better than showing excerpts from non-readable pages
 //Note that hiding the entry entirely would screw up paging.
 if (!$t->userCanRead()) {
    wfProfileOut( $fname );
    return "<li>{$link}</li>\n";
 }

Could this be replaced with a user-configurable variable or hook for how the result should be displayed? This could be used to replace it with something like 'Result Hidden', or format it differently, or possibly hide it from display completely, if that wouldn't screw up paging. No need to remove it from the result set -- even if one page shows 7 items when it should be showing 10, that should be okay for many users.