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