[dev] Easier adding of themes and applets

[Chuck Hagenbuch]

Quoting Jan Schneider <jan at horde.org>:

> I propose that we stop keeping lists of available themes and portal applets
> in config/registry.php.dist and config/pref.php.dist and instead parse
> horde/config/themes/ in horde/prefs.php, resp. horde/lib/Block/ in
> horde/portal_edit.php for avaiable themes/applets.
> This is expensive but is only necessary if the users want to change their
> theme or block layout.

Okay, as long as we're sure that it'd only be needed when listing them all, this
sounds good to me.

> Thinking this further we could even install a small contribution database on
> the website where people can submit their themes/applets or even vote for
> them.

Yup, this would be great.

-chuck

--
Charles Hagenbuch, <chuck at horde.org>
They're just looking at a wall of meat.