10a5b05ebSAndreas Gohr<?php 20a5b05ebSAndreas Gohr 30a5b05ebSAndreas Gohrnamespace dokuwiki\plugin\config\core\Setting; 40a5b05ebSAndreas Gohr 50a5b05ebSAndreas Gohr/** 60a5b05ebSAndreas Gohr * Class setting_hidden 70a5b05ebSAndreas Gohr */ 8*8c7c53b0SAndreas Gohrclass SettingHidden extends Setting 9*8c7c53b0SAndreas Gohr{ 100a5b05ebSAndreas Gohr // Used to explicitly ignore a setting in the configuration manager. 110a5b05ebSAndreas Gohr} 12