Topic on Project:Support desk

Isseu is fixed now by a change on that page Manual:$wgNamespacesToBeSearchedDefault#Changing options for existing users .

RE: Manual:$wgNamespacesToBeSearchedDefault#Changing options for existing users

The statement on Manual:$wgNamespacesToBeSearchedDefault#Changing options for existing users appears to be wrong (or misleading):

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

I just added NS_FILE and NS_FILE_TALK which changes immediately become effective. And I triple-checked!

Pls. can you check - and correct the Mediawiki page in case? Perhaps the text was misleading and should be reformulated such as

"In MediaWiki 1.16 or later, the change becomes effective immediately for all users."

Looks like the "change options" part referrers to userOptions.php script. Apparently, when the page was updated in 2016, it left some confusion.

I updated/clarified the doc. The statement was correct but worded in ambiguous way.

"You do not have to change options for existing users." means the same thing as what you're suggesting if you read it carefully.