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.
First Last Prev Next    This bug is not in your last search results.
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 tree / graph
 
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
Add an attachment (proposed patch, testcase, etc.)

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.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links