[dev] where the little prefs come from

[Sebastian Birnbach]

For my own application I created preferences in config/prefs.local.php.
They show up as user-editable settings for all users but are editable only
for some.

I found that for those users who can change settings there is a
corresponding DB entry in the prefs container (SQL table horde_prefs). If
the entry is missing, saving those prefs fails.

I debugged into /usr/local/share/pear/Horde/Prefs.php#setValue() and see
that a preference value is not saved if it does not already exist.

So, how are prefs initially created? Is there some priming to be done after
editing prefs.local.php? And how comes some users' prefs did get created?


Kind regards

  birnbacs