[pmwiki-users] Inserting a logo into the "lean" skin

[Mikey Brass]

Dear Hagan,

>    $EnableSkinLogo = 1;
>    $LeanLogoFile = "URL-path-to-your-logo.gif";
> 
> For example, if you put your logo graphic file ("site-logo.gif") in
> the pub/ directory you would use
> 
>    $EnableSkinLogo = 1;
>    $LeanLogoFile = "$PubDirUrl/site-logo.gif";

If I may ask a further question. Does the above go into the config.php 
(under local) or into the lean.php ?

Regards,
Mike