make undefined settings output work again
commite7296041855e1739088397d1445fcfffbc47e90b
authorAndreas Gohr <andi@splitbrain.org>
Fri, 1 Jun 2018 06:44:25 +0000 (1 08:44 +0200)
committerAndreas Gohr <andi@splitbrain.org>
Fri, 1 Jun 2018 06:44:25 +0000 (1 08:44 +0200)
tree5284a51f037c799c8ab016efd0a10e5e3f5453b8
parentfbe5f61701e664d4502762ef5ef5d3a8f3fda767
make undefined settings output work again
lib/plugins/config/admin.php
lib/plugins/config/core/Setting/SettingNoClass.php
lib/plugins/config/core/Setting/SettingNoDefault.php
lib/plugins/config/core/Setting/SettingUndefined.php