[Bug 48801] Change name of LocalSettings.php to settings.php or WikiSettings.php

2013-05-24 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48801 --- Comment #1 from MZMcBride --- 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 d

[Bug 48801] Change name of LocalSettings.php to settings.php or WikiSettings.php

2013-05-25 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48801 Andre Klapper changed: What|Removed |Added Priority|Unprioritized |Low Version|unspecified

[Bug 48801] Change name of LocalSettings.php to settings.php or WikiSettings.php

2013-05-25 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48801 Brion Vibber changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug 48801] Change name of LocalSettings.php to settings.php or WikiSettings.php

2013-05-25 Thread bugzilla-daemon
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 InitialiseSettin