Translations:Manual:$wgCountTotalSearchHits/7/en

Recommend avoiding until that's been worked out cleanly; but this may aid in testing the search UI and API to confirm that the result count works.