Closed Bug 572330 Opened 12 years ago Closed 12 years ago

Change wiki.mozilla.org search defaults to search more places

Categories

(mozilla.org Graveyard :: Server Operations, task)

task
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED

People

(Reporter: gerv, Assigned: oremj)

Details

Attachments

(1 file)

The wiki.mozilla.org search has defaults which are less than ideal. It doesn't search large swathes of the wiki (see attached screenshot). This means that all anonymous users, and all logged-in users who have not changed the defaults, will be unable to find e.g. anything related to Bugzilla or Tinderbox.

I think it should probably search everything except Help, MediaWiki and File.

Gerv
From http://www.mediawiki.org/wiki/Manual:$wgNamespacesToBeSearchedDefault there seems to be a few ways to define this. We currently seem to be using the older number array system, which probably needs to be switched over to the newer format.

Punting to Jeremy, since this change will affect only new and anonymous users and we have to run UserOptions.php to make sure older ones are pulled in too. I don't want to do do that without checking with him first.
Assignee: server-ops → jeremy.orem+bugs
I've changed the default options. That's probably good enough. Users with accounts are probably wise enough to change their search options if they wan to search those extra namespaces.
Status: NEW → RESOLVED
Closed: 12 years ago
Resolution: --- → FIXED
Product: mozilla.org → mozilla.org Graveyard
You need to log in before you can comment on or make changes to this bug.