Is there a reason a bunch of paths get set in Setup.php, rather than DefaultSettings.php? Or rather, is there any reason not to change this?
Some problems I've seen with it:
* It's confusing—people look up a variable like $wgStylePath in DefaultSettings.php only to find that it's false and magically gets set to "{$wgScriptPath}/skins" somewhere else.
* Because Setup.php is included after Local/DefaultSettings.php, you can't necessarily depend on the paths that are set there For instance, setting $wgLogo in LocalSettings.php will use the wrong path unless you set $wgStylePath too or don't rely on it at all < http://www.mediawiki.org/w/index.php?title=Manual_talk:$wgStylePath&oldi...