Révision | d17082884c740f5936dce4257270ace3a0e9d928 (tree) |
---|---|
l'heure | 2017-09-13 00:08:01 |
Auteur | umorigu <umorigu@gmai...> |
Commiter | umorigu |
BugTrack/2292 Remove redundant text search in do_search()
@@ -341,6 +341,7 @@ function do_search($word, $type = 'AND', $non_format = FALSE, $base = '') | ||
341 | 341 | if ($search_auth && ! check_readable($page, false, false)) { |
342 | 342 | unset($pages[$page]); |
343 | 343 | --$count; |
344 | + continue; | |
344 | 345 | } |
345 | 346 | |
346 | 347 | // Search for page contents |