[Bug 48801] Change name of LocalSettings.php to settings.php or WikiSettings.php
https://bugzilla.wikimedia.org/show_bug.cgi?id=48801 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Priority|Unprioritized |Low Version|unspecified |1.22-git -- 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
[Bug 48801] Change name of LocalSettings.php to settings.php or WikiSettings.php
https://bugzilla.wikimedia.org/show_bug.cgi?id=48801 Brion Vibber br...@wikimedia.org changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |WONTFIX --- Comment #2 from Brion Vibber br...@wikimedia.org --- There's also the 'CommonSettings.php' and 'InitialiseSettings.php' convention for wikifarms used in Wikimedia's installations... so it does make some sense. But I agree with comment #1 that the main fix is to largely remove the need to edit it manually; few people will care what it's called when they never have to touch it. Bug 26992... let's plan to put this on the table soon. -- 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
[Bug 48801] Change name of LocalSettings.php to settings.php or WikiSettings.php
https://bugzilla.wikimedia.org/show_bug.cgi?id=48801 --- Comment #3 from jeffwan...@gmail.com --- Brion and MZMcBride, MediaWiki is not just for Wikimedia; besides, renaming LocalSettings.php to Settings.php makes it easier for others. Less than 1% of wiki administrators will have InitialiseSettings.php, GlobalSettings.php, or CommonSettings.php. (I was about to put this argument up but I decided not to.) MediaWiki is not all about Wikipedia/Wikimedia, and therefore I still firmly believe that LocalSettings.php should be renamed, either in this lesser iteration or in Bug 26992. -- 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
[Bug 48801] Change name of LocalSettings.php to settings.php or WikiSettings.php
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