where the little prefs come from

Sebastian Birnbach <[email protected]> Sun, 24 Jun 2018 14:01:22 +0200
Newsgroups gmane.comp.horde.devel
Message-ID <CACTNBFOS1zdfi9mgdZoyuRL7NererzD=XsTxdvT9+D8x8ki-dQ@mail.gmail.com>
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
-- 
dev mailing list
Frequently Asked Questions: http://wiki.horde.org/FAQ
To unsubscribe, mail: [email protected]