Juliano F. Ravasi wrote:
Benjamin Lees wrote:
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?
I'm not sure I understand your question correctly. You can set $wgLogo
in LocalSettings.php, there is no problem with that. $wgLogo works
exactly like the other variables: you may override its value directly,
or you may override only $wgStylePath or $wgScriptPath. In the later
case, it will use the default path, but relative to the script or style
path you provide.
The problem people are running into is that the "default setting"
(though its not set in DefaultSettings.php) for the logo uses
$wgStylePath. However, you cannot use $wgStylePath in LocalSettings
without overriding it, even if you want to use the default of
"$wgScriptPath/skins".
--
Alex (wikipedia:en:User:Mr.Z-man)