https://bugzilla.wikimedia.org/show_bug.cgi?id=32970
Web browser: ---
Bug #: 32970
Summary: MW 1.18; How to determine the search profile / setting
of a default search profile
Product: MediaWiki
Version: 1.18.0
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: Search
AssignedTo: [email protected]
ReportedBy: [email protected]
Classification: Unclassified
In MW 1.18 additional hooks have been added to enhance the Search profiling and
especially creating your own profile works quite well but somehow it is nowhere
to find the possibility the predetermine which profile to use as default. Since
1.18 the standard search always assumes to use profile=advanced which makes
having additional profiles nice but not really convenient as the user has to
change profiles manually (neither the user preference nor the LocalSettings
have a possibility to default a specific profile).
Our question is did we miss the documentation which explains how to set a
default profile or is just by standard that the search uses profile=advanced as
default profile?
I can guess, people will say that this is the intended behaviour and not an
error but to assume that the standard search profile should always be
profile=advanced is a bit short sighted now that we have such nice hooks.
[1] SpecialSearchProfiles, SpecialSearchProfileForm
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
