[Summary view] [Print] [Text view]

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