how to disable automatic capitalization of page names in MediaWiki

In LocalSettings.php, add the following line:

$wgCapitalLinks = false;