Manual talk:Configuration settings/archive from meta

The following discussion has been transferred from Meta-Wiki.
Any user names refer to users of that site, who are not necessarily users of MediaWiki.org (even if they share the same username).

$wgDefaultUserOptions

Somebody please flesh out the documentation for this variable!

categories instead of headers?

Should we move each one to its own page, and use categories instead of headers? It would seem a little easier to manage and organize. --Astronouth7303 18:32, 21 Jun 2005 (UTC)

I think no. It could be evaluated if the information (some of it) is / should be repeated also in other pages trough inclusions (using templates). (I made this at another wiki which is offline right now. This gives the advantage of using "Special:Whatlinkshere"). If these inclusions all start with a same prefix "Special:Allpages" would give the same advantages as a category. Gangleri | Th | T 12:23, July 13, 2005 (UTC)

"Wikipedia" used in Help:Configuration settings index

Probably this should be replaced (also in CVS and HEAD) with "$wgSitename ." or so. Gangleri | Th | T 12:23, July 13, 2005 (UTC)

not 100% secure

Hi.

Could you could be more specific about why changing the access rights of users through whitelist variables is not 100% safe?

Are there any particular, known issues with this?

Thank you.

$wgCapitalLinks

This sounded good but it makes the links 100% case sensitive. I want them to be 100% case INSENSITIVE. With Mondo MONDO and mondo all linking to the same place.

Page blanking

I have blanked the page, except for the warning and navigation, as this page is _still_ being edited. All prior content on this page was moved to mw:Help:Configuration settings some time ago, and we should not be attempting to maintain several versions of this information. --HappyDog 00:44, 18 April 2006 (UTC)

End of content from meta.wikimedia.org.
Note that the above conversation may have been edited or added to since the transfer. If in doubt, check the edit history.