Workaround for missing pages that get returned in search results (not-up-to-date...
authorBrion Vibber <brion@users.mediawiki.org>
Tue, 11 Mar 2008 19:09:26 +0000 (19:09 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Tue, 11 Mar 2008 19:09:26 +0000 (19:09 +0000)
commit004ed08d74a246271073bc51bcdca00136adc8fe
treec4e31f5c9affc82634f9b1db7106f2f17ccbef69
parentf8cc33ad6cc2e01278fb1cc60c26de633b2b40b4
Workaround for missing pages that get returned in search results (not-up-to-date index)
includes/SpecialSearch.php