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

Wikimedia Bugzilla is closed!

Wikimedia has migrated from Bugzilla to Phabricator. Bug reports should be created and updated in Wikimedia Phabricator instead. Please create an account in Phabricator and add your Bugzilla email address to it.
Wikimedia Bugzilla is read-only. If you try to edit or create any bug report in Bugzilla you will be shown an intentional error message.
In order to access the Phabricator task corresponding to a Bugzilla report, just remove "static-" from its URL.
You could still run searches in Bugzilla or access your list of votes but bug reports will obviously not be up-to-date in Bugzilla.
Bug 9449 - generated LocalSettings.php needs to go on a diet
generated LocalSettings.php needs to go on a diet
Product: MediaWiki
Classification: Unclassified
Parser (Other open bugs)
PC Linux
: Lowest minor (vote)
: ---
Assigned To: Nobody - You can work on this!
Depends on:
  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: ---


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.