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

1:31 p.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

2:02 p.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

3:49 p.m.

On 7/22/05, Timwi <timwi(a)gmx.net> wrote:

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

$wgCapitalLinks

Reply

6877

days inactive

6877

days old

wikitech-l@lists.wikimedia.org

Manage subscription

2 comments

2 participants

tags (0)

participants (2)

Timwi
Ævar Arnfjörð Bjarmason