1<?php 2 3namespace dokuwiki\plugin\config\core\Setting; 4 5/** 6 * Class setting_hidden 7 */ 8class SettingHidden extends Setting { 9 // Used to explicitly ignore a setting in the configuration manager. 10} 11