Jump to content

Manual talk:Configuration settings/archive from meta

Add topic
From mediawiki.org
Latest comment: 18 years ago by HappyDog in topic Page blanking
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

[edit]

Somebody please flesh out the documentation for this variable!

categories instead of headers?

[edit]

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

[edit]

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

[edit]

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.

[edit]

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

[edit]

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)Reply