1<?php 2 3namespace dokuwiki\plugin\config\core\Setting; 4 5/** 6 * Class setting_no_default 7 */ 8class SettingNoDefault extends SettingUndefined { 9 // A do-nothing class used to detect settings with no default value. 10 // Used internaly to hide undefined settings, and generate the undefined settings list. 11} 12