First-letter capitalisation: What's the name of the option? - Wikitech-l - lists.wikimedia.org

List overview All Threads
Download

First-letter capitalisation: What's the name of the option?

MediaWiki wiki

*URGENT* Anonymous editor...

Timwi

22 Jul 2005 22 Jul '05

8:31 a.m.

What's the name of the option in LocalSettings.php that turns of first-letter capitalisation?

Thanks, Timwi

Reply

Show replies by date

Timwi

22 Jul 22 Jul

9:02 a.m.

New subject: First-letter capitalisation: What's the name of the option?

Timwi wrote:

What's the name of the option in LocalSettings.php that turns of first-letter capitalisation?

Found it, it's $wgCapitalLinks = false; - thanks :) Timwi

Reply

Ævar Arnfjörð Bjarmason

10:49 a.m.

On 7/22/05, Timwi timwi@gmx.net wrote:

What's the name of the option in LocalSettings.php that turns of first-letter capitalisation?

$wgCapitalLinks

Reply

6940

Age (days ago)

6940

Last active (days ago)

wikitech-l@lists.wikimedia.org

2 comments

2 participants

tags (0)

participants (2)

Timwi
Ævar Arnfjörð Bjarmason