Translations:Manual:$wgNamespacesToBeSearchedDefault/12/fr

Dans MediaWiki 1.16 et ultérieur, vous n'avez pas à modifier les options concernant les utilisateurs existants.