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?