xref: /dokuwiki/lib/plugins/config/core/Setting/SettingHidden.php (revision 2401f18d305c5060bd60ef150d62bbf916c4e7c1)
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