Jump to content

Manual:$wgSearchMatchRedirectPreference

From mediawiki.org
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

[edit]

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'].