https://bugzilla.wikimedia.org/show_bug.cgi?id=48801
--- Comment #1 from MZMcBride <b...@mzmcbride.com> --- Hi. Thanks for taking the time to file this bug. Renaming LocalSettings.php requires maintaining at least two files indefinitely, which clutters the root directory further. It also requires updating a lot of documentation on MediaWiki.org, which will also likely add to the confusion people have about which file to edit. I'm not really sure what "speeds up everything else" even means. And as you point out yourself, calling the file LocalSettings.php distinguishes it from DefaultSettings.php. In any case, the real answer here is to largely deprecate the use of LocalSettings.php (like WordPress' wp-config.php, LocalSettings.php should ideally only store database credentials and little else). This is the subject of bug 26992. Perhaps in the process of rewriting the wiki configuration interface, the file that holds the database credentials can be renamed to something other than "LocalSettings.php". However, I'd recommend that this particular bug be marked resolved/wontfix, as I see plenty of disadvantage to renaming this file and no real advantage. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l