Manual:$wgSearchMatchRedirectPreference

Search: $wgSearchMatchRedirectPreference
Set true to allow logged-in users to set a preference whether or not matches in search results should force redirection to that page.
Introduced in version:1.35.0 (Gerrit change 542437; git #c4eae0da)
Removed in version:Still in use
Allowed values:(boolean)
Default value:false

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 $wgDefaultUserOptions ['search-match-redirect'].