[pmwiki-users] local.css in $FarmD/pub (Walter Keller)

[Walter Keller]

PmWiki did not use my local.css file until I detected, that skins.php 
only looks in the pub directory for it.
In my installation, however, there is no pub directory, only a 
$FarmD/pub. Did I miss a configuration option? Thus, I added in 
skins.php (after line 30) at the beginning of the array $PageCSSListFmt 
an entry
       '$FarmD/pub/css/local.css' => '$FarmPubDirUrl/css/local.css',
which activates my $FarmD/pub/local.css. Could this be integrated in an 
official release? What about group and page level css?