On Sat, Oct 24, 2009 at 9:49 AM, Juliano F. Ravasi <[email protected]> wrote:
> Benjamin Lees wrote:
> > Is there a reason a bunch of paths get set in Setup.php, rather than
> > DefaultSettings.php?
>
> Because the default values of these paths depend on multiple sources.
> Your own example shows that. The default value for $wgStylePath is
> "{$wgScriptPath}/skins". That means that both $wgStylePath or
> $wgScriptPath can be set in order to change the resulting value of
> $wgStylePath.
>
> And it is pretty common to set only $wgScriptPath in LocalSettings.php
> and have all the other paths automatically set to their defaults based
> on this value. That wouldn't be possible if these other paths were set
> in DefaultSettings.php, since by the time $wgScriptPath is reset in
> LocalSettings.php their values would be already fixed.
>
I see. Thanks for the explanation.
I'd still like to fix the logo issue. Since $wgScriptPath is already set in
LocalSettings.php by default, is there any reason not to add $wgLogo (and
$wgStylePath, unless $wgLogo is changed to use $wgScriptPath/styles by
default) too?
_______________________________________________
MediaWiki-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
