Manual:$wgSearchEverythingOnlyLoggedIn

From mediawiki.org
Search: $wgSearchEverythingOnlyLoggedIn
If set to true the 'searcheverything' preference will be effective only for logged-in users.
Introduced in version:1.16.0 (r51243)
Removed in version:1.24.0 (Gerrit change 131727; git #5dc4dc09)
Allowed values:(boolean)
Default value:false

Details[edit]

If set to true the 'searcheverything' preference will be effective only for logged-in users. Useful for big wikis to maintain different search profiles for anonymous and logged-in users.