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