Last modified: 2011-03-13 18:06:12 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T11449, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 9449 - generated LocalSettings.php needs to go on a diet
generated LocalSettings.php needs to go on a diet
Status: RESOLVED WONTFIX
Product: MediaWiki
Classification: Unclassified
Parser (Other open bugs)
1.9.x
PC Linux
: Lowest minor (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2007-03-29 20:50 UTC by Dan Jacobson
Modified: 2011-03-13 18:06 UTC (History)
0 users

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Attachments

Description Dan Jacobson 2007-03-29 20:50:08 UTC
Gentlemen, I notice in the generated LocalSettings.php, tons of
settings are the same as in DefaultSettings.php.  Therefore I
recommend you trim some of the accumulated fat out of
LocalSettings.php, by of course adjusting config/index.php. Certainly
not every $wgXYZ=false etc. line needs to be repeated. Take e.g., the
diff3 setting, visible in DefaultSettings.php, no need to mention it
again in LocalSettings.php.
Comment 1 Robert Leverington 2007-03-29 20:51:10 UTC
This has been discussed before, they are the most commonly changed settings and
it therefore makes sense for them to appear there.
Comment 2 River Tarnell 2007-03-29 20:52:52 UTC
diff3 in particular has to go into LocalSettings because it's auto-generated.

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links