1<?php 2 3namespace dokuwiki\plugin\config\core\Setting; 4 5/** 6 * Class setting_no_default 7 * 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. 10 */ 11class SettingNoDefault extends SettingUndefined { 12 protected $errorMessage = '_msg_setting_no_default'; 13} 14