how to disable automatic capitalization of page names in MediaWiki

From Sharkysoft Wiki

In LocalSettings.php, add the following line:

$wgCapitalLinks = false;