Translations:Manual:$wgNamespacesToBeSearchedDefault/12/en

In MediaWiki 1.16 and later, you do not have to change options for existing users.