j
k
j a
j l
Yes. See DefaultSettings.php for explanation. ----
If this setting, $wgCapitalLinks = false; is set, does it define a capital letter link as different from the undercase one?
Foo = foo, or are they different pages?
Back to the thread
Back to the list