wbrawner/server
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
server/lib/private/Settings
History
Roeland Jago Douma f6d84bdb23
Log a missing setting as INFO not as WARNING 
It can happen for all kinds of reasons that a setting is not available.
(A user removes a folder, a setting got deleted). So don't polute the
log on default settings.

Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
2018-01-10 09:02:01 +01:00
..
Admin Update license headers 2017-11-06 16:56:19 +01:00
Personal Update license headers 2017-11-06 16:56:19 +01:00
Manager.php Log a missing setting as INFO not as WARNING 2018-01-10 09:02:01 +01:00
Mapper.php Update license headers 2017-11-06 16:56:19 +01:00
RemoveOrphaned.php Update license headers 2017-11-06 16:56:19 +01:00
Section.php Update license headers 2017-11-06 16:56:19 +01:00