Manual:$wgSearchMatchRedirectPreference/de-formal

Details
Set true to allow logged-in users to set a preference whether or not matches in search results should force redirection to that page.

If false, the preference is not exposed and cannot be altered from site default. To change your site's default preference, set via.