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

Status: RESOLVED FIXED

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

Description

[Gervase Markham [:gerv]]

Attachment: wiki.mozilla.org search defaults

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

Comment 1

[Shyam Mani [:fox2mike]]

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.

Comment 2

[Jeremy Orem [:oremj]]

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.