make undefined settings output work again
[dokuwiki.git] / lib / plugins / config / core / Setting / SettingNoDefault.php
blob07b8412dd5285ef977c2060d877c5c617b72ad4c
1 <?php
3 namespace dokuwiki\plugin\config\core\Setting;
5 /**
6 * Class setting_no_default
8 * A do-nothing class used to detect settings with no default value.
9 * Used internaly to hide undefined settings, and generate the undefined settings list.
11 class SettingNoDefault extends SettingUndefined {
12 protected $errorMessage = '_msg_setting_no_default';